Eu estava observando o mesmo problema na minha instalação (Edubuntu 14.04.1). A execução de sudo apt-get install gmenu
, como sugerido por Matt, forneceu um erro, "não foi possível localizar o pacote gmenu" .
Eu notei que python-gmenu
está instalado no Edubuntu 12 mas não no Edubuntu 14.
Executando sudo apt-get install python-gmenu
editor de menu fixo. Pode abrir agora.
O menu "Edubuntu Menu Editor - Gerenciador de Perfis" está faltando na minha instalação do Edubuntu.
Eu criei outro item de menu e dei a ele esse comando copiado da instalação do Linux Mint:
gksu --desktop /usr/share/applications/profilemanager.desktop profilemanager
NOTA: também instalei gksu
, uma vez que não estava presente.