Mise à niveau vers 15.04: que sont devenues mes onglets gnome-terminal?
Évidemment, une partie de la mise à niveau vers Ubuntu 15.04 implique une mise à niveau vers gnome-terminal qui supprime l’ancienne fonctionnalité autorisant l’ouverture de nouvelles fenêtres de terminal sous forme d’onglet, au lieu d’une nouvelle fenêtre.
Si j'avais su cela avant la mise à niveau, je ne l'aurais littéralement pas mis à niveau. Arrêt complet. Je gère de nombreux serveurs et il est essentiel d'avoir un client SSH permettant de nouvelles sessions dans un onglet. L’ouverture de nouvelles fenêtres pour 15 serveurs est totalement ingérable.
Dans cette capture d'écran, vous pouvez voir l'option de menu "sessions ouvertes". Il existait également une option de menu "onglet ouvert", avec la liste complète des sessions que j'avais sauvegardées. C'est parti maintenant.
Juste rétrograder à bon vieux 3.6.2 comme moi.
Si vous avez une installation 64 bits:
wget http://archive.ubuntu.com/ubuntu/pool/main/g/gnome-terminal/gnome-terminal-data_3.6.2-0ubuntu1_all.deb http://archive.ubuntu.com/ubuntu/pool/main/g/gnome-terminal/gnome-terminal_3.6.2-0ubuntu1_AMD64.deb
Sudo dpkg -i gnome-terminal_3.6.2-0ubuntu1_AMD64.deb gnome-terminal-data_3.6.2-0ubuntu1_all.deb
Sudo apt-mark hold gnome-terminal
Sudo apt-mark hold gnome-terminal-data
Pour 32 bits:
wget http://archive.ubuntu.com/ubuntu/pool/main/g/gnome-terminal/gnome-terminal-data_3.6.2-0ubuntu1_all.deb http://archive.ubuntu.com/ubuntu/pool/main/g/gnome-terminal/gnome-terminal_3.6.2-0ubuntu1_i386.deb
Sudo dpkg -i gnome-terminal_3.6.2-0ubuntu1_i386.deb gnome-terminal-data_3.6.2-0ubuntu1_all.deb
Sudo apt-mark hold gnome-terminal
Sudo apt-mark hold gnome-terminal-data
Si vous voulez savoir comment résoudre ce problème, la nouvelle version a la possibilité d'ouvrir tous les nouveaux terminaux dans un onglet. Allez dans Edition -> Préférences puis changez "Ouvrir de nouveaux terminaux dans: Fenêtre" en "Onglet".
La mise à niveau n pe fonctionne, mais ce n'est pas la meilleure option car les versions les plus récentes comportent toujours des correctifs de bogues/de sécurité.
La meilleure option pour vous est d’installer mate-terminal, un fork de gnome-terminal régulièrement mis à jour qui a encore des onglets et tous les éléments auxquels vous êtes habitué. Je le fais tourner sur mon système depuis que gnome-terminal a supprimé la fonctionnalité des onglets.
C'est presque identique mais il ne manque pas de fonctionnalités! Hourra!
Utilisation Ctrl + Shift + T pour ouvrir le premier nouvel onglet. Les onglets suivants peuvent être ouverts avec le bouton + (dans l'interface graphique, pas le clavier).
Essayez le terminateur pour les fenêtres multiples, notamment en diffusant la même commande à tous les terminaux ouverts ...
Sudo apt-get install terminator
gnome-terminal est maintenant tellement cassé que c'est en fait une mauvaise blague. Les profils sont difficiles ou impossibles à gérer, modifier ou supprimer.
Si j'ignore les récents problèmes de transparence, j'ai obtenu mate - un terminal fonctionnant enfin en rendant mes anciens profils plus précis. Apparemment, mate-terminal utilise maintenant un mécanisme de vérification d'erreur plus strict et ne fonctionne plus avec des noms de profil non définis, c.-à-d. --tab-with-profile = Default ne fonctionne que dans un seul profil (le premier.) Votre prochain profil doit être nommé différemment (Default2 ou par exemple "Serveurs" comme dans mon exemple ci-dessous) et doit figurer dans le nouveau profil personnalisé commander.
exemple:
mate-terminal --tab-with-profile=Servers -t "server1" -e "ssh [email protected] -t screen -dRRS main"
--tab-with-profile=Servers -t "server2" -e "ssh [email protected] -t screen -dRRS main"
En utilisant des définitions de profil plus précises et des commandes personnalisées dans mate-terminal, je peux à nouveau obtenir tous mes profils et environ 100 onglets en ordre et re-connectés en un clic de souris :)
Gotto love the screen - dRRS main commande. Cela vous permet de redémarrer et de revenir à votre travail précédent en un clic. Tous les onglets de votre terminal seront exactement comme vous les avez laissés avant le redémarrage, y compris l'historique des commandes "à l'écran".
-Sam
gnome-terminal --tab-with-profile=SOME_PROFILE_NAME -e 'ssh somehost'
ou
gnome-terminal --tab-with-profile-internal-id=SOME_PROFILE_ID -e 'ssh somehost'
et Ctrl+Shift+Ttravaille toujours pour moi.
Contrairement à 14.10, le nom de profil par défaut est localisé dans 15.04.