/custom-command-menu

GNOME extension to run shell commands from a top bar drop-down menu.

Primary LanguageJavaScriptGNU General Public License v3.0GPL-3.0