Eu desativei o acesso ao menu no gnome-terminal (no Ubuntu 16.04 LTS). Agora quero redefinir algumas configurações do terminal, mas não consigo mais acessar o menu. Como posso redefinir as configurações do terminal gnome?
Essas coisas não funcionaram:
gconftool --recursive-unset /apps/gnome-terminal
dconf reset -f /org/gnome/terminal/legacy/profiles:/