.png)
В приложении Ubuntu Tweaks есть два расширения, о которых я понятия не имею, что они делают. Когда я их включаю, на моем экране ничего не происходит. Кто-нибудь знает, как ими пользоваться, и работают ли они вообще?
решение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.
Если вы устанавливаете разные сеансы рабочего стола и входите в этот сеанс, этот случай зависит от конфигурации сеансов.