Небольшое обновление для пользователей Ubuntu 12.04 Precise Pangolin, работающих под GNOME Shell: некоторые расширения, доступны в репозитории WebUpd8 GNOME 3 PPA, были обновлены до последней версии, работающей с новым GNOME Shell 3.4.
Вот какие обновлённые расширения для GNOME Shell 3.4 доступны в WebUpd8 GNOME 3 PPA: официальные расширения GNOME Shell (теперь это единый пакет), GNOME Shell Weather, GPaste (инструмент для буфера обмена), System Monitor и MediaPlayer. Скоро будет больше.
Установка
Чтобы суметь установить эти расширения, для начала вам нужно добавить репозиторий WebUpd8 GNOME 3 PPA:
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
Затем установите официальные расширения GNOME Shell (включает следующие расшрения: Dock, User Theme, Alternative Status Menu, Alternate Tab, Drive Menu, SystemMonitor, Gajim, Workspace Indicator, Apps Menu, Auto Move Windows, Native Window Placement, Places Menu, windowsNavigator):
sudo apt-get install gnome-shell-extensions
Чтобы установить расширение GNOME Shell Weather:
sudo apt-get install gnome-shell-extensions-weather
Для установки GNOME Shell System Monitor (это другое расширение, не официальный Системный Монитор GNOME Shell), используйте:
sudo apt-get install gnome-shell-system-monitor
Чтобы установить инструмент для буфера обмена GPaste, используйте:
sudo apt-get install gnome-shell-extensions-gpaste
И, чтобы установить расширение GNOME Shell Mediaplayer:
sudo apt-get install gnome-shell-extensions-mediaplayer
Чтобы включить расширения, вам потребуется GNOME Tweak Tool, так что установите его, если у вас до сих пор его нет:
sudo apt-get install gnome-tweak-tool
Затем перезапустите GNOME Shell, нажав ALT + F2 и введя «r» (или перезайдите в систему), откройте GNOME Tweak Tool и включите те расширения, которые вы хотите использовать.