Abbiamo GNOME Terminal 3.14.3. Questa versione non supporta l' --save-configopzione. C'è un altro modo per farlo in questa versione? In quale altro modo è possibile salvare e ripristinare le schede? Quale versione di gnome terminal mi permetterà di farlo?
L'errore è:
Option "--save-config" is no longer supported in this version of gnome-terminal
Risposte:
Presumo tu intenda che vuoi salvare il tuo profilo terminale corrente (ma non ho la reputazione di chiederlo come commento). Se è il caso:
Puoi provare ad accedere alle Preferenze del terminale. Accanto a Profili, fai clic sul "+" accanto a "Profili" per salvare la configurazione corrente (in questo esempio, chiamata MYPROFILE).
Quindi digitare
gnome-terminal --tab-with-profile=MYPROFILE
C'è anche --window-with-profileun'opzione, che crea una nuova finestra di terminale.
Sto usando GNOME Terminal 3.32.1 su Ubuntu 19.04