Estou desmarcando a opção "Mostrar barra de menus por padrão em novos terminais" no gnome-terminal para que eu possa usar Alt + f e Alt + b para mover o texto sem levantar o menu, mas ele não será salvo. Depois de ter fechado o terminal e abrir um novo, o menu está lá novamente. Alguma idéia?
Isso parece ser um bug para mim, então eu abri um no Launchpad:
link
Para usuários do gnome-shell que querem uma solução alternativa para esse bug, mas que desejam preservar menus globais no Unity, talvez a melhor solução seja criar um arquivo /etc/X11/Xsession.d/81ubuntu-menu-proxy com o único conteúdo da linha:
[ "$DESKTOP_SESSION" != "ubuntu" ] && unset UBUNTU_MENUPROXY