Nous avons GNOME Terminal 3.14.3. Cette version ne prend pas en charge l' --save-configoption. Existe-t-il un autre moyen de le faire dans cette version? Sinon, comment enregistrer et restaurer des onglets? Quelle version du terminal gnome me permettra de le faire?
L'erreur est:
Option "--save-config" is no longer supported in this version of gnome-terminal
Réponses:
Je suppose que vous voulez dire que vous souhaitez enregistrer votre profil de terminal actuel (mais je n'ai pas la réputation de le demander en tant que commentaire). Si c'est le cas:
Vous pouvez essayer d'accéder à vos préférences de terminal. À côté de Profils, cliquez sur le "+" à côté de "Profils" pour enregistrer la configuration actuelle (dans cet exemple, appelée MYPROFILE).
Tapez ensuite
gnome-terminal --tab-with-profile=MYPROFILE
Il y a aussi une --window-with-profileoption, qui crée une nouvelle fenêtre de terminal.
J'utilise GNOME Terminal 3.32.1 sur Ubuntu 19.04