GNU/Linux Desktop Survival Guide by Graham Williams
Desktop Survival Project Home Preface Advocacy History Distributions Installing GNU/Linux Basic Survival Wajig Applications AI, Machine Learning, Data Science Android - GNU/Linux Devices Audio Backup Booting CD Chinese ChRoot Clock Command Line Databases DIA Directories Disks EcoSysL Emacs Email Evolution Files File Systems Firewalls Floppy Disks FreedomBox Glade GNOME Graphics, Images, Photos Hardware Initialisations on Booting Installation Examples Internet IOT Java KDE Kernels Keyboard Konqueror KVM Switch LATEX Log System Login Magellan MATE Mathematics Memory Modems Mounting Devices MS/Windows Music MySQL Nautilus Networks Nextcloud Network File System NFS NT File System Oracle Packages Partitions Passwords PDF Power Management PPP Presentations Printing Python R Remote Desktops Rsync Samba Scanning Science Screens Security Spreadsheet SSH Swap Teradata Data Warehouse Themes TV Unity USB Version Control Video Virtualization Voice over IP WebCam WordPress Web Sites Word Processing and Printing X XML Troubleshooting Index

CLICK HERE TO VISIT THE UPDATED SURVIVAL GUIDE

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.

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 our 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.