ParentFull threadvanous·I have been using 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/, but I haven't tried it yet.View on HN