Estou executando o Gnome versão 3.4.1 e o script encarregado de desativar a barra de menus e as decorações será executado localmente (sem sudoing). Pode ter a ver com gconftool-2 , gsettings ou compiz (todos disponíveis nesta distribuição baseada em Ubuntu-12.04), mas não consigo descobrir como. Fora disso, essa versão antiga tem vários arquivos de configuração ( xml ), mas, novamente, depois de muita pesquisa, não sei onde tocar.
Nota: Tudo deve ser feito com os comandos principais e nos diretórios home, pois o usuário não pode instalar o software nem alterar os arquivos do sistema.