Il ne semble pas y avoir de fonctionnalité gnome-terminal
pour ajouter un nouvel onglet à une fenêtre existante à partir de la ligne de commande. Mais il existe quelques options pour accomplir ce que vous voulez.
Profils par commande
Créez un nouveau gnome-terminal
profil pour chaque hôte sur lequel vous allez vous connecter. Si vous ne disposez que de quelques hôtes auxquels vous vous connectez régulièrement, cela peut être le plus simple. Chaque profil peut avoir un titre différent, une couleur de premier plan, une couleur d'arrière-plan, une commande personnalisée et d'autres paramètres définis. Ensuite, vous pouvez utiliser File -> Open Tab
pour ouvrir un nouvel onglet avec le profil sélectionné.
Profil réutilisable
Créez un nouveau gnome-terminal
profil qui sera utilisé pour ouvrir une nouvelle fenêtre chaque fois que vous souhaitez vous connecter à un hôte SSH différent (sur la base de cette réponse AskUbuntu que Stefano a indiquée). Cela fonctionnerait bien si vous vous connectez fréquemment à de nombreux hôtes différents. Cela ne vous permettra pas de distinguer les différentes gnome-terminal
fenêtres où vous êtes connecté à différents hôtes uniquement sur les couleurs d'arrière-plan / de premier plan, mais vous aurez un titre différent par fenêtre.
- Créez un nouveau
gnome-terminal
profil ( File -> New Profile
) basé sur le Default
profil et appelez-le "RemoteHost" (notez, aucun espace dans "RemoteHost" pour faciliter les commandes).
- Sous l'
Title and Command
onglet, modifiez:
Initial title:
vers "Hôte distant"
When terminal commands set their own titles:
à Replace initial title
- Sous l'
Colors
onglet, modifiez:
- Décochez
Use colors from system theme
Build-in schemes:
à Custom
Text color:
et Background color:
aux couleurs de votre choix. Gardez à l'esprit que certaines commandes (comme ls
) utilisent des couleurs pour leur sortie et que vous ne voulez pas choisir des couleurs qui rendront la lecture de la sortie difficile.
- Cliquez sur le
Close
bouton pour enregistrer votre nouveau profil.
- Vous pouvez maintenant ouvrir une nouvelle
gnome-terminal
fenêtre pour chaque hôte SSH distant à l'aide de la commande gnome-terminal --window-with-profile=RemoteHost -t "Some Remote SSH Host" -x ssh user@somehost
. L' -t
option définit le gnome-terminal
titre de la fenêtre et l' -x
option exécute le reste de la ligne de commande dans le terminal. Vous pouvez même alias
raccourcir le nombre total de touches.
Ligne de commande
J'ai trouvé cette entrée de blog avec le script suivant qui utilise les commandes xdotool
et wmctrl
(elles n'étaient pas installées par défaut sur Ubuntu, vous devrez peut-être les installer d'abord) pour utiliser le raccourci clavier gnome-terminal
Ctrl+ Shift+ tpour ouvrir un nouvel onglet dans la gnome-terminal
fenêtre actuelle . Il pourrait être modifié pour ouvrir un nouvel onglet avec un profil spécifique et exécuter une commande pour vous.
#!/bin/bash
# Path: /usr/local/bin/gnome-terminal
if [ "x$*" != "x" ]; then
/usr/bin/gnome-terminal "$@"
else
pgrep -u "$USER" gnome-terminal | grep -qv "$$"
if [ "$?" == "0" ]; then
WID=`xdotool search --class "gnome-terminal" | head -1`
xdotool windowfocus $WID
xdotool key ctrl+shift+t
wmctrl -i -a $WID
else
/usr/bin/gnome-terminal
fi
fi
Autre
Vous pourriez faire preuve de créativité et essayer d'autres choses.
Cette réponse SuperUser utilise essentiellement un peu d'acrobates "script-fu" pour créer un gnome-terminal
profil temporaire qui est utilisé pour ouvrir une nouvelle fenêtre. Il peut être modifié pour votre usage.
Vous pourriez probablement utiliser ce Q&A StackOverflow et plus d'acrobates "script-fu" pour changer dynamiquement le gnome-terminal
titre chaque fois que vous SSH vers un hôte distant. Il ne serait pas aussi important que les changements de couleur d'arrière-plan / de premier plan, mais ce serait toujours mieux qu'un Terminal
titre standard .