前几天把ArchLinux的Gnome升级到了3.2版本。
升完后，’gnome-shell-extension-dock’就无法工作了，用得顺顺得dock一下不见了很不习惯。前几天网上找也无果。

然后，终于在今天找到了方法：

# cd /usr/share/gnome-shell/extensions/dock@gnome-shell-extensions.gnome.org/
# vim extension.js

找到”this.actor.lower_bottom();”这一行，把它注释掉。保存后，在gnome-tweak-tool中把dock-extensions重新启用。Enjoy！
发现3.2的dock可以自动隐藏了，这个很是喜欢呐。