.png)
решение1
Спасибо @guiverc, так как он уже предоставил ссылки об использовании этих расширений.
Эти расширения gnome-shell предварительно установлены вместе с Ubuntu.ISO и настроены в файле/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"]
}
Это приводит к тому, что кнопка переключения на gnome-tweaks
вкладке расширений становится бесполезной.
Вы можете удалить эти расширения из строки"enabledEstensions":
{
"parentMode": "user",
"stylesheetName": "Yaru/gnome-shell.css",
"debugFlags": ["backtrace-crashes-all"],
"enabledExtensions": []
}
теперь все 3 предварительно включенных расширения будут учитывать кнопку переключения.
Примечание: эта концепция будет применяться к сеансу рабочего стола Ubuntu modes
, ubuntu.json
который используется по умолчанию в Ubuntu 19.04.
Если вы устанавливаете разные сеансы рабочего стола и входите в этот сеанс, этот случай зависит от конфигурации сеансов.