1

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.

2 Answers 2

1

You have to install dconf-editor in order to edit/remove terminal profile if you cannot access gnome-terminal menu.

sudo apt-get install dconf-editor

Open dconf-editor then navigate to org > gnome > terminal > legacy > profiles. From there you can modify the profile.

enter image description here

Screenshot taken at 14.04 with gconf-editor

1
  • I'm using 16.04, and there's nothing there...
    – leeand00
    Nov 28, 2016 at 15:40
1

Execute gnome-terminal -- bash or gnome-terminal -- zsh (whichever is not a misconfigured shell) or gnome-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.

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .