Beim Ändern von Erweiterungen oder Installieren von Anwendungen musste die GNOME-Shell manchmal neu gestartet werden, damit die Änderungen wirksam werden. In der Vergangenheit wurde dies durch Drücken von Alt + F2, Eingabe von 'r' und Drücken der Eingabetaste erreicht. Dies scheint jedoch auf...