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
… 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