Posts tagged with 'gnome3' - 1
Changing Terminal preferences in Gnome 3 from the commandline
It turns out this was not that obvious, at least for me, how to change various profile preferences for Gnome Terminal under Gnome 3 from the commandline. You can go and fetch the list of profiles this way: ~# dconf list /org/gnome/terminal/legacy/pro ... read more →