mkdir -p ~/.local/share/gnome-shell/extensions
mkdir ~/src
git -C ~/src clone https://github.com/renderorange/renderorange-gnome-shell-extension.git
cd src/renderorange-gnome-shell-extension
bash install.hs
- reload gnome-shell
- enable in gnome-extension-manager