I can't seem to find a way to remove a broken gnome terminal profile I've setup from the list under File -> Open Terminal.
How does one remove one of these from the list? I can't change the settings because it opens and closes so fast. GNOME Terminal 3.18.3.
You have to install
dconf-editor
in order to edit/remove terminal profile if you cannot accessgnome-terminal
menu.Open
dconf-editor
then navigate toorg > gnome > terminal > legacy > profiles
. From there you can modify the profile.Screenshot taken at 14.04 with
gconf-editor
Execute
gnome-terminal -- bash
orgnome-terminal -- zsh
(whichever is not a misconfigured shell) orgnome-terminal -- /bin/sleep 1000
or something similar to open gnome-terminal in case by default it closes way too quickly due to a broken startup command. Then you can open the Edit -> Preferences or Profile Preferences dialog and fix the problem.Beginning with gnome-terminal 3.22 (Ubuntu Artful) you can even use the command
gnome-terminal --preferences
to open the Preferences window directly.