J'ai trouvé les options suivantes qui sont utiles :
--load-config=FILE Load a terminal configuration file
--save-config=FILE Save the terminal configuration to a file
Ce qui précède restaure le nombre approprié de fenêtres gnome-terminal avec les onglets appropriés, mais la position et le titre de la fenêtre ne sont pas restaurés. Un début quand même :)
Une fois que vous avez configuré votre gnome-terminal comme vous le souhaitez (c'est-à-dire le nombre d'onglets, ouvert à certains répertoires), enregistrez l'état de la session depuis la fenêtre de votre gnome-terminal avec la commande suivante :
gnome-terminal --save-config=mestabs
Ensuite, je crée un lanceur d'applications personnalisé sur mon panel qui exécute la commande suivante
gnome-terminal --load-config=/home/leif/mytabs
Vous pouvez créer des profils pour Gnome-Terminal à partir du Edit Profiles boîte de dialogue sous le Edit menu. Pour démarrer Gnome-Terminal avec un certain profil, procédez comme suit :
gnome-terminal --window-with-profile=<profile_name>
Naturellement, vous pouvez configurer différentes icônes de lanceur pour lancer automatiquement différents profils, ou vous pouvez inclure des lignes dans un script de démarrage X-session pour démarrer plusieurs terminaux différents, chacun avec un profil différent, lorsque vous vous connectez. Diverses options peuvent être combinées dans une icône de lanceur pour vous donner un type de terminal spécifique, et vous pouvez créer autant de lanceurs que vous avez besoin de différents types de terminaux.
D'autres options de ligne de commande peuvent être utiles pour obtenir exactement l'effet souhaité, si le mécanisme de profil n'est pas assez fin pour vous. Voir man gnome-terminal sur votre système pour plus de détails, mais voici quelques suggestions de cette discussion sur le forum Ubuntu :
# define a terminal 100 columns by 20 lines
--geometry=100x20
# set the titlebar
--title=irssi
# run a particular program
--execute irssi