Linux Terminal Voorkeuren

16/04/2022 – Binnen de terminal hebben we de mogelijkheid om voorkeuren zoals lettertype,
achtergrond, … in te stellen.

We kunnen deze voorkeuren exporteren naar een tekstbestand met de bedoeling deze later terug te importeren.  Dit kan bijvoorbeeld handig zijn bij een nieuwe installatie of wanneer u per ongeluk de instellingen hebt veranderd.

Bij een verse installatie van Linux Ubuntu ziet de terminal er zo uit:

Wanneer we klikken op    en vervolgens “Voorkeuren” kiezen komen we op volgend scherm:

Na het personaliseren van de instellingen ziet de terminal er bijvoorbeeld zo uit:

Met “dconf dump” kunnen we alle aangepaste profielen exporteren naar een tekstbestand:

dconf dump /org/gnome/terminal/legacy/profiles:/ > gnome-terminal-profielen.dconf

Bewaar dit bestand en je kan de profielen terug importeren met “dconf load” indien gewenst:

dconf load /org/gnome/terminal/legacy/profiles:/ < gnome-terminal-profielen.dconf

Opgelet: binnen een virtuele machine kan het voorvallen dat de export van voorkeuren niet volledig correct verloopt.  Op een fysieke installatie (bare metal installation) werkt deze methode wel perfect.

Wanneer je “cat gnome-terminal-profielen.dconf“ uitvoert zou de output er in dit geval zo uit zien:

[:b7fdf474-5262-4d8d-a817-c897e6d97224]
background-color='rgb(0,6,8)'
background-transparency-percent=17
font='Monospace 13'
use-system-font=false
use-theme-colors=false
use-theme-transparency=false
use-transparent-background=true