GNOME extension to run shell commands from a top bar drop-down menu.
Primary LanguageJavaScriptGNU General Public License v3.0GPL-3.0