giovedì 17 agosto 2017

Import / Export Profili Terminale GNOME

Funziona con gnome-terminal:

sudo apt-get install gnome-terminal


  • EXPORT PROFILI
gconftool-2 --dump '/apps/gnome-terminal' > gnome-terminal-conf.xml
  • IMPORT PROFILI
gconftool-2 --load gnome-terminal-conf.xml

Nessun commento:

Posta un commento