Gnome Dconf-editor: set terminal application with options I’m able to set the default terminal using dconf-editor at this path:...