Ubuntu macht es mit seinem Standarddesktop vor: Gnome-Erweiterungen sind eine unaufdringliche Methode, den schlicht gehaltenen Gnome-Desktop um traditionelle Bedienelemente zu erweitern. Seit den ersten Gnome-3-Versionen bot die Erweiterung Arcmenu ein klassisches Anwendungsmenü an und liegt nun in neuer Version für Gnome 40.x vor.

Nachdem der ursprüngliche Macher des Arcmenu nach dem Versionssprung von Gnome nicht mehr die Zeit fand, diese Ergänzung zu aktualisieren, lag die Entwicklung eine Weile brach. Jetzt gibt es eine Abspaltung des Arcmenu unter gleichem Namen, die auch wieder für Gnome 40 und bis hinunter zu Gnome 3.36 funktioniert.

Unter https://extensions.gnome.org/extension/3628/arcmenu steht die Gnome-Erweiterung einfach per Browser (Firefox und Chrome/Chromium) zur Installation über den dargestellten Kippschalter bereit. Dazu gehört wie immer der Hinweis, dass die Installation von Gnome-Erweiterungen aus dem Browser heraus erst funktioniert, wenn das Paket „chrome-gnome-shell“ installiert ist, was in Debian/Ubuntu der Befehl

sudo apt install chrome-gnome-shell

erledigt. Auch Firefox verlangt noch die Browsererweiterung https://addons.mozilla.org/en-US/firefox/addon/gnome-shell-integration, die beim Besuch des Onlineverzeichnisses der Erweiterungen automatisch vorgeschlagen wird.