Installation
Compatibility
Dash to Dock extension is compatible with all systems capable of running GNOME 3, including GNU/Linux and *BSDs. It is compatible with all GNOME Shell version since GNOME 3.2, although more features and improvement have been added only to the most recent Shell version.
Extension website
The easiest and suggested way to install and keep the extension updated is through the official Gnome Shell Extensions site.
The installation process is as simple as sliding a button. The extension can then be enabled and disabled through the same site or with gnome-tweak-tool.
Manual installation
You can also obtain the extension in the form of a zip archive from the release page. Look for the latest version supporting your shell version. The extension can be installed by means of gnome-tweak-tool or alternatively by directly extracting the archive in the a directory named dash-to-dock@micxgx.gmail.com
inside ~/.local/share/gnome-shell/extensions/
unzip dash-to-dock@micxgx.gmail.com.zip \
-d ~/.local/share/gnome-shell/extensions/dash-to-dock@micxgx.gmail.com/
Shell reload is required Alt+F2 r Enter
. The extension can be enabled with gnome-tweak-tool or with dconf by adding ‘dash-to-dock@micxgx.gmail.com’ to the /org/gnome/shell/enabled-extensions
key.
Installation from source
The extension can be installed directly from source, either for the convenience of using git or to test the latest development version. Clone the desired branch with git
git clone https://github.com/micheleg/dash-to-dock.git
or download the branch from github. The master branch usually target the latest GNOME Shell version. There are gnome-3.x branch with the latest code for older versions. In case you are running a development version ( that is an even version), although the extension is not guaranteed to work, you should look for a development branch and manually add your version in the metadata.json. Sometimes the previous stable version works with minor bugs also in the development GNOME Shell.
A simple Makefile is included. Run
make
make install
to install the extension in your home directory. A Shell reload is required Alt+F2 r Enter
and the extension has to be enabled with gnome-tweak-tool or with dconf.
As an alternative the zip archive can be generated with
make
make zip-file
Then follow the instructions above to install the zip-archive.