Я сам решил эту проблему, и это было чрезвычайно тривиальное решение:
- Открыть
Gnome Tweak Tool
. - Нажмите на кнопку
Extensions
пункт меню и переместитеUser themes
ползунок дляOn
. - Закрывать
Gnome Tweak Tool
и откройте его снова. - Теперь вы должны иметь возможность выбрать
Shell theme
вAppearance
меню.