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/
Unfortunately, to help prevent spam, we require that you log in to GNOME Shell Extensions in order to post a comment or report an error. You understand, right?
Version | Status | Shell Versions |
---|---|---|
3 | Active |
3.16
3.18
|
2 | Active |
3.16
3.18
|
1 | Active |
3.16
3.18
|
User Reviews
Loading reviews…