Raspy

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
Pubblicato da raspettino alle 16:00 Nessun commento:
Invia tramite emailPostalo sul blogCondividi su XCondividi su FacebookCondividi su Pinterest
Post più recenti Post più vecchi Home page
Iscriviti a: Post (Atom)

Seguimi su strava

Informazioni personali

raspettino
Visualizza il mio profilo completo

Archivio blog

  • ►  2025 (1)
    • ►  febbraio (1)
  • ►  2024 (4)
    • ►  dicembre (1)
    • ►  ottobre (1)
    • ►  maggio (1)
    • ►  aprile (1)
  • ►  2023 (3)
    • ►  agosto (2)
    • ►  luglio (1)
  • ►  2022 (1)
    • ►  gennaio (1)
  • ►  2021 (2)
    • ►  dicembre (2)
  • ►  2020 (1)
    • ►  marzo (1)
  • ►  2019 (3)
    • ►  settembre (1)
    • ►  gennaio (2)
  • ►  2018 (4)
    • ►  novembre (3)
    • ►  maggio (1)
  • ▼  2017 (7)
    • ►  dicembre (4)
    • ▼  agosto (1)
      • Import / Export Profili Terminale GNOME
    • ►  febbraio (1)
    • ►  gennaio (1)
  • ►  2016 (13)
    • ►  dicembre (1)
    • ►  novembre (1)
    • ►  ottobre (2)
    • ►  settembre (2)
    • ►  luglio (2)
    • ►  maggio (3)
    • ►  aprile (2)
  • ►  2015 (25)
    • ►  novembre (2)
    • ►  agosto (3)
    • ►  luglio (2)
    • ►  giugno (3)
    • ►  maggio (7)
    • ►  aprile (2)
    • ►  marzo (1)
    • ►  gennaio (5)
  • ►  2014 (14)
    • ►  ottobre (1)
    • ►  giugno (4)
    • ►  maggio (8)
    • ►  aprile (1)
Tema Semplice. Powered by Blogger.