Take the 2-minute tour ×
Super User is a question and answer site for computer enthusiasts and power users. It's 100% free, no registration required.

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.

share|improve this question
    
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

1 Answer 1

up vote 1 down vote accepted

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

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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