I have been using https://extensions.gnome.org/extension/437/mylauncher/ https://extensions.gnome.org/extension/437/mylauncher/ to execute shell commands, to se

I have been using https://extensions.gnome.org/extension/437/mylauncher/ https://extensions.gnome.org/extension/437/mylauncher/ to execute shell commands, to see output I have just found this: https://extensions.gnome.org/extension/912/command-output/ https://extensions.gnome.org/extension/912/command-output/, but I haven't tried it yet.