I've been playing around with the GNOME 3 Shell and like it very much so far.

But I've installed an extension that provides application menu pushing to the topbar. I think it's a great idea to allow the user to choose where she does want to see her menu.

However there's a bug in that extension: whenever I turn it off – my menu disappears. It's now just nonexistent so I can't really File > Quit or anything like that.

So I'd like to know how to repair my GNOME now. I've tried

dpkg-reconfigure gnome-shell

… but no success, no output.

P.S. it's called global menu extension, the deb package is in official Ubuntu repositories, so it's called gnome3-globalmenu.

  • thx for the edits
    – Bubba88
    Feb 14 '12 at 20:58
  • rm /etc/profile.d/globalmenu.sh did the job. It exported a GTK_MODULE and the uninstaller forgot to remove that I've found that by looking the contents of a deb package
    – Bubba88
    Feb 14 '12 at 21:16
  • For the time being, I've edited your question to highlight the solution. Please post an answer with the solution so we have correct Q&A format! :)
    – iglvzx
    Feb 14 '12 at 21:21
  • @iglvzx that's exactly what I wanted to do, but "users with less than 100 repo can't post an answer to their own questions for 8 hours"
    – Bubba88
    Feb 16 '12 at 7:33
  • I see. Well, everything looks good here now! :)
    – iglvzx
    Feb 16 '12 at 7:37

rm /etc/profile.d/globalmenu.sh did the job. It exported a GTK_MODULES appendix I've found that by looking the contents of a deb package

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.