.png)
Antwort1
Danke an @guiverc, da er bereits die Links zur Verwendung dieser Erweiterungen bereitgestellt hat.
Diese Gnome-Shell-Erweiterungen sind mit der Ubuntu.ISO vorinstalliert und in der Datei konfiguriert/usr/share/gnome-shell/modes/ubuntu.json
{
"parentMode": "user",
"stylesheetName": "Yaru/gnome-shell.css",
"debugFlags": ["backtrace-crashes-all"],
"enabledExtensions": ["[email protected]", "[email protected]", "desktop-icons@csoriano"]
}
Dies führt dazu, dass der Umschaltknopf auf der gnome-tweaks
Registerkarte „Erweiterungen“ unbrauchbar wird.
Sie können diese Erweiterungen aus der Zeile entfernen"enabledEstensions":
{
"parentMode": "user",
"stylesheetName": "Yaru/gnome-shell.css",
"debugFlags": ["backtrace-crashes-all"],
"enabledExtensions": []
}
jetzt respektieren alle drei vorab aktivierten Erweiterungen den Umschaltknopf.
Hinweis: Dieses Konzept gilt für Ubuntu-Desktopsitzungen, die in Ubuntu 19.04 standardmäßig aktiviert sind modes
.ubuntu.json
Wenn Sie unterschiedliche Desktopsitzungen installieren und sich bei diesen Sitzungen anmelden, variiert dieser Fall je nach der Konfiguration dieser Sitzungen.