получение ошибки для расширения пользовательской темы путем выполнения команд
это - некоторые команды для установки расширения пользовательской темы.
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-user-theme
this.this щелчка является снимком экрана терминала, когда это управляет, выполняются
0
задан Under_stand
29 October 2017 в 08:44
поделиться
1 ответ
Вам не нужен ppa для расширений гнома
Загрузите их непосредственно с расширений Gnome
В Вашем случае https://extensions.gnome.org/extension/19/user-themes/
Установка непосредственно ;)
Если Вы хотите использовать ppa, необходимо будет связаться с ppa специалистом по обслуживанию, если у Вас есть проблема.
0
ответ дан Panther
2 November 2019 в 00:41
поделиться