gnome-extensions launch gnome-shell-extensions. Instructions install: sudo make install remove: sudo make remove