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 →