Si vous avez une liste de serveurs auxquels vous accédez souvent, je pense que la solution la plus simple serait d'appeler simplement une deuxième fenêtre juste pour la session de cette boîte.
Tout d'abord, créez un profil de terminal gnome distinct pour chaque emplacement distant que vous utilisez souvent. Ensuite, dans chaque profil, spécifiez que le terminal doit exécuter la commande de connexion SSH pour cette boîte, au lieu d'un shell simple.
ssh alice@athena
Enfin, écrivez un court script pour lancer une nouvelle fenêtre distante avec un ID de profil.
#!/bin/bash
if [[ $# -ne 1 ]] ; then
echo "Give me a server/profile name!"
exit 1
fi
gnome-terminal --window-with-profile=$1
exit 0
En utilisant cette stratégie, vous pouvez varier "à l'infini" l'apparence de la fenêtre du terminal de chaque boîte et les lancer depuis un seul terminal "de contrôle". Par exemple, si nous appelons ce script "rlv", nous pouvons alors générer une fenêtre distante en appelant simplement le script avec un nom de profil.
>> rlv athena
Si vous avez déjà saisi un nom d'hôte ou omis de configurer un profil pour cet hôte, vous obtiendrez simplement une autre fenêtre de profil par défaut sur la boîte locale. Il existe un moyen de coder le script pour éviter cela, en plaçant la connexion dans le script lui-même, plutôt que dans le gnome-terminal:
#!/bin/bash
if [[ $# -ne 1 ]] ; then
echo "Give me a server/profile name!"
exit 1
fi
gnome-terminal --window-with-profile=$1 -e "ssh $1"
exit 0
... mais alors vous perdez la flexibilité de définir votre nom d'utilisateur de connexion pour cette boîte. Cette caractéristique supplémentaire du script que je laisse comme exercice au lecteur.