tutoteket.no is one of the many independent Mastodon servers you can use to participate in the fediverse.
Tutoteket er ein liten server med liten plass, men vi har lesestoff og god drikke, så vi klarar oss.

Administered by:

Server stats:

7
active users

Børge

Is there any extension which lets you set any key combination (keyboard shortcut) to run any pre-defined command you set up?

Yes, I've tried searching extensions.gnome.org

Edit: No extension needed, thank you @gnomelibre!

extensions.gnome.orgGNOME Shell Extensions

@forteller

You don't really need an extension for that. In Settings, Keyboard, Keyboard Shortcuts, View and customize shotcuts, Custom shortcuts… you can define the shortcut of your choice and associate it with a command.

@gnomelibre Oh shit, yes! Thank you! :D