Gnome Shell extension to manage Hotel development servers
Hotel Manager is a Gnome Shell extension which allows to start and stop the Hotel daemon and your development servers via a menu in the status area.
Make sure you have installed Hotel and then copy folder hotel-manager@hardpixel.eu into ~/.local/share/gnome-shell/extensions.
If Hotel is not globally installed, add a .hotelrc file in your home directory containing the path to Hotel's executable.
The easiest way to install this extension is via the official Gnome Shell Extensions resource page here.
Inspired by the Gnome Shell extension Services Systemd.