desktop do Ubuntu 16.04 LTS, 64 bits, no VirtualBox
O gnome-terminal não mostra a barra de menu apesar da opção "Mostrar barra de menus" está marcada (no menu pop-up)
Eu preciso de uma barra de menus para criar um perfil. Qualquer maneira alternativa de fazer isso?