Собственно, установил Ubuntu 12.04 64 bit вот отсюда
http://www.ualinux.com/ru/download/category/4-ubuntuoem. Использую Gnome 3 classic. В этой сборке уже установлен gnome tweak tool, но в нем во вкладке "Расширения shell" нет ни единого пункта
мне нужна функция user theme.
По инструкции из этой темы
https://forum.ubuntu.ru/index.php?topic=172495.0 добавил репозиторий sudo add-apt-repository ppa:webupd8team/gnome3, затем sudo apt-get update, затем sudo apt-get install gnome-shell-extensions-user-theme. Но раширение не установилось. Вот что выдало:
user@user-Z68P-DS3:~$ sudo apt-get install gnome-shell-extensions-user-theme
Чтение списков пакетов… Готово
Построение дерева зависимостей
Чтение информации о состоянии… Готово
Некоторые пакеты невозможно установить. Возможно, вы просите невозможного,
или же используете нестабильную версию дистрибутива, где запрошенные вами
пакеты ещё не созданы или были удалены из Incoming.
Следующая информация, возможно, поможет вам:
Пакеты, имеющие неудовлетворённые зависимости:
gnome-shell-extensions-user-theme : Зависит: gnome-shell-extensions-common но он не будет установлен
E: Невозможно исправить ошибки, у вас отложены (held) битые пакеты.
Кто-нибудь знает как установить расширение? В линуксах я новичок, так что рошу особо не пинать.