To install:
- Create a directory in
~/.local/share/gnome-shell/extensions/and name it[email protected] - Copy all files in the repository to the above directory (
~/.local/share/gnome-shell/extensions/[email protected]/) - Restart Gnome-shell. (ALT+F2, r, Enter)