this post was submitted on 04 Jan 2024
537 points (92.0% liked)
Technology
59652 readers
5395 users here now
This is a most excellent place for technology news and articles.
Our Rules
- Follow the lemmy.world rules.
- Only tech related content.
- Be excellent to each another!
- Mod approved content bots can post up to 10 articles per day.
- Threads asking for personal tech support may be deleted.
- Politics threads may be removed.
- No memes allowed as posts, OK to post as comments.
- Only approved bots from the list below, to ask if your bot can be added please contact us.
- Check for duplicates before posting, duplicates may be removed
Approved Bots
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
It sounds like a good feature to assign a certain key to an option in GRUB. Maybe GRUB has this feature already, it has been a while since I've looked into it's config options.
No need for a dedicated key in the physical keyboard tho, just let the user choose, Alt or Space are good options.
How many people has the context key on their keyboard? Or scroll lock? Or F6-F9 and F11?
Plenty of other options out there. Even keyboard-centric people rarely use those keys unless they have an app that explicitly uses it.