Dans le terminal, j'ai toujours les 3 mêmes onglets ouverts, plus d'autres au hasard.
Ce serait bien si je pouvais ouvrir le terminal avec ces trois onglets ouverts et leurs titres définis.
j'ai essayé
gnome-terminal --save-config=/home/user1/usertabs
mais cela n'enregistre pas les titres que j'ai définis pour les onglets.
Des idées sur comment je pourrais accomplir ceci?
Il semble que le problème soit lié au profil utilisé. Si le profil a sa
"Title and Command" -> "Lorsque les commandes du terminal définissent leurs propres titres:" = Conserver le titre initial
les titres se retrouvent ensuite dans le fichier de configuration. Vous pouvez modifier le profil par défaut ou créer un nouveau profil.
Faites attention aux symboles utilisés dans votre titre !, Si vous utilisez des symboles spéciaux tels que / vos titres ne seront pas sauvegardés.
J'ai partagé exactement mon expérience, j'ai eu le même problème aujourd'hui.
J'ai résolu ce problème aujourd'hui!
Cette réponse ne répète pas ou ne contredit pas la réponse acceptée, elle complète la réponse existante. Mon point est important pour les débutants.