35.3 GNOME Extension Command Line Install


Download the zip file, perhaps by browsing to GNOME Extensions, and then select the version to download. This will download a zip file, like dash-to-paneljderose9.github.com.v37.shell-extension.zip or from https://github.com/kgshank/gse-sound-output-device-chooser for example we might download gse-sound-output-device-chooser-37.zip.

The aim is to extract the contents of this zip archive into a folder within ~/.local/share/gnome-shell/extensions. The folder is the name of the uuid for the package. In the first case it is:

$ unzip -c ~/Downloads/dash-to-paneljderose9.github.com.v37.shell-extension.zip
  "url": "https://github.com/jderose9/dash-to-panel",
  "uuid": "dash-to-panel@jderose9.github.com",
  "version": 37

Thus create the required directory:

$ mkdir -p ~/.local/share/gnome-shell/extensions/dash-to-panel@jderose9.github.com

Extract the contents:

$ unzip -q ~/Downloads/dash-to-paneljderose9.github.com.v37.shell-extension.zip -d ~/.local/share/gnome-shell/extensions/dash-to-panel@jderose9.github.com}

Enable the extension:

$ gnome-extensions enable dash-to-panel@jderose9.github.com

Then restart gnome-shell with Alt-F2, and the type r and Enter.

Your donation will support ongoing availability and give you access to the PDF version of this book. Desktop Survival Guides include Data Science, GNU/Linux, and MLHub. Books available on Amazon include Data Mining with Rattle and Essentials of Data Science. Popular open source software includes rattle, wajig, and mlhub. Hosted by Togaware, a pioneer of free and open source software since 1984. Copyright © 1995-2022 Graham.Williams@togaware.com Creative Commons Attribution-ShareAlike 4.0