2

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.

Improve this question
5
  • thx for the edits
    – Bubba88
    Feb 14, 2012 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, 2012 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, 2012 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, 2012 at 7:33
  • I see. Well, everything looks good here now! :)
    – iglvzx
    Feb 16, 2012 at 7:37

1 Answer 1

Reset to default
1

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

Improve this answer

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .