ubuntu_13.04_gnome_shell_3.7.5](/images/uploads/2013/02/ubuntu_13.04_gnome_shell_3.7.5.png)

https://launchpad.net/~gnome3-team/+archive/gnome3
https://launchpad.net/~ricotz/+archive/testing

Ubuntu 13.04 x86_64 デイリービルドにGNOME Shell 3.7.5 をインストールしてみました。

手順

以下のPPA をソフトウェアソースに追加して、gnome-shell パッケージをインストール/アップデートします。

  • ppa:gnome3-team/gnome3

  • ppa:ricotz/testing

GNOME Shell 3.7.5 のチェンジログ

http://ftp.acc.umu.se/pub/GNOME/sources/gnome-shell/3.7/gnome-shell-3.7.5.news

  • MessageTray: pass keyboard events to tray icons
  • network: add support for virtual devices
  • gdm: Allow right-clicking buttons for left-handed users
  • Make list search results span all available horizontal space
  • Make Show-Applications button depress when held down
  • Set a max width on search results
  • Reserve scrollbar allocation for automatic policy
  • Improve scaling algorithm for window thumbnails

GNOME Shell Extension のバージョン指定の更新

Auto hide the top panel GNOME Shell Extension のバージョン指定を更新して、暫定的に動作させてみました。

.local/share/gnome-shell/extensions/autohidetopbar2@werewolves.us/metadata.json
{ 
  "description": "Auto hide the top panel",
  "extension-id": "auto-hide-top-panel", 
  "gettext-domain": "gnome-shell-extensions", 
  "name": "Auto Hide Top Panel",
  "settings-schema": "org.gnome.shell.extensions.auto-hide-top-panel", 
  "shell-version": [
    "3.5.92", "3.6.1", "3.6", "3.7.5"
  ], 
  "url": "http://fpmurphy.com/gnome-shell-extensions",
  "uuid": "autohidetopbar2@werewolves.us",
  "version": 1
}