Install GNOME Shell extensions from terminal

Solution 1:

Dash to Dock GNOME extension

As seen at https://extensions.gnome.org/extension/307/dash-to-dock/

Download the .zip file here https://micheleg.github.io/dash-to-dock/releases.html

Note: the name of the downloaded .zip file may be different than the [email protected] shown in the unzip command shown below. Adjust the command as necessary for the correct .zip name.

See the manual installation notes here https://micheleg.github.io/dash-to-dock/download.html

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 [email protected] inside ~/.local/share/gnome-shell/extensions/

unzip [email protected] \ -d ~/.local/share/gnome-shell/extensions/[email protected]/

Shell reload is required Alt+F2 r Enter. The extension can be enabled with gnome-tweak-tool, or with dconf by adding [email protected] to the /org/gnome/shell/enabled-extensions key.

Note: DtD is not compatible with 19.04.

• rumor has it, that if you uninstall Ubuntu Dock, that DtD will work with 19.04

• it also appears that the manual installation of DtD will make this work in 19.04

Solution 2:

You can install Dash-to-Dock by running the following commmand:

sudo apt install gnome-shell-extension-dashtodock

You can get the list of available extensions by running apt search gnome-shell-extension for example.