GNOME Shell を3.0.2 にしたらdock が消えたので復活させてみた。

{
"uuid": "dock@gnome-shell-extensions.gnome.org",
"name": "Dock",
"description": "A dock for the GNOME Shell -- displays favorite and running applications",
"original-author": "tclaesson@gmail.com",
"shell-version": [ "3.0.1" ],
"localedir": "/usr/local/share/locale",
"url": "http://git.gnome.org/gnome-shell-extensions"
}

を以下のように修正した。

"shell-version": [ "3.0" ],

または、

"shell-version": [ "3.0.1", "3.0.2" ],