Manage web and database services from GUI panel—aimed at Ubuntu service names—but configurable for your linux flavor in: _config.js install dir: ~/.local/share/gnome-shell/extensions/web-dev-panel@mediadoneright.com/ Homepage link: https://github.com/mdrmike/web-dev-panel/
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
Web Dev Panel