Ich habe Gnome Shell mit Ubuntu installiert und es funktioniert ziemlich gut. Ich habe möglicherweise versehentlich den Favoriten "Dateien" aus dem Aktivitätsmenü entfernt, aber es ist unmöglich, ihn wieder in das Favoriten-Dock zu legen. Wenn ich einen Ordner öffne und mit der rechten Maustaste...