Is there any #Gnome extension which lets you set any key combination (keyboard shortcut) to run any pre-defined command you set up?Yes, I've tried searching https://extensions.gnome.org