Во время знакомства с новой версией среды рабочего стола GNOME под номером 43 возникла проблема того, что при смене темы оформления файловый менеджер, менеджер настроек, браузер, калькулятор и часть другого софта сохраняли прежний дизайн. Не помогали ни завершение сеанса, ни перезагрузка. В итоге решение этой проблемы было найдено, о чем и хочу рассказать ниже.
Обо что речь?
Прикрепляю демонстрацию того, про что упоминал ранее: если мы меняем тему оформления в дистрибутиве с GNOME 43 на борту (например, Fedora 37, как в моем случае), то не все элементы среды эту тему применяют. В итоге начинается цыганский табор, когда каждый одет во что-то свое.
Решение проблемы
Чтобы применить настройки новой темы так, чтобы она затронула все, нужно создать файл .profile в домашней директории. Если этот файл создан, то его нужно отредактировать. В этот файл размещаем следующую строку:
export GTK_THEME=<имя_темы>
После сохранения содержимого выходим из сеанса или перезагружаем систему и получаем готовый результат.
Нюансы
При таком раскладе использование таких утилит, как Gnome Tweak Tool теряет всякий смысл. Проще отредактировать одну строку в файле, чем вначале изменить тему привычным способом для тех программ, которые примут изменения, а потом редактировать файл .profile. Возможно, что в будущем этот недочет исправят, но пока что либо наблюдать разное оформление у разных приложений, либо не менять тему вовсе и пользоваться системной. Кстати, в Ubuntu 22.10 встроенные темы применяются сразу. Возможно проблема в разработчиках тем, которые еще не приспособились к новой версии GNOME.
Установка мультимедиа кодеков в Fedora Linux
Простой способ добавления Google Disk в дистрибутив Linux с GNOME
Шесть расширений в GNOME которые устанавливаю всегда
Обращаюсь к пользователям GNOME 43 и прошу написать в комментариях сталкивались ли они с этой проблемой и попадалось ли им что-то еще. Среда рабочего стола, конечно, притягательная, но как обычно бывает, новые версии не всегда работают корректно.
Если пост помог вам решить проблему, то поддержите его лайком. Также не забываем про подписку на канал!