Habe versehentlich ein Skript in Startanwendungen im GNOME Tweak Tool in Ubuntu 18.04 gelöscht und jetzt startet das Ubuntu-Dock nicht beim Anmelden. Ich bekomme nur das Standard-GNOME-Dock. Die Option zum Aktivieren des Ubuntu-Docks im Abschnitt „Erweiterungen“ des Tweak Tools ist ausgegraut, aber gnome-shell-extension-ubuntu-dockinstalliert.
Kann mir jemand sagen, wie dieses Skript heißt? (Ich bin fast sicher, dass es ein Skript war. Ich möchte wirklich nicht alle Standardpakete neu installieren.)