On 2011-04-20, Josselin Mouette <joss@debian.org> wrote: > Le mercredi 20 avril 2011 à 17:30 +0200, Bernhard R. Link a écrit : >> But for me having everything in the menu is its most important feature. [...] > There is a place where you can access everything that’s installed on > your system: it’s call a shell. The one called "gnome-shell"? SCNR Philipp Kern