Proof Portal
Omarchy
ProbeLabs65 findings · 95 requirementsA proof layer — requirements, tests and verified fixes — for two of Omarchy's subsystems: the application menu (launcher scripts, QML model, JSONC config, search and selection) and the lock screen (lock scripts, QML, PAM authentication). Scope is deliberately limited to those components of omacom/omarchy; the rest of the distribution is not covered.
Keyboard shortcut upgrade (launch and switch between 18 apps with one hand)
Reported by devgizzo · filed Sep 1, 2025Closed upstream on 2025-09-01. GitHub close reason: completed. No closing PR or commit is recorded — "completed" alone is not evidence of a fix.
At a glance
- 1 · What is claimed?
- Only the report text below — no validator has restated it as checkable claims yet.
- 2 · What does it affect?
- Not yet mapped to any requirement or component.
- 3 · Is it reproducible?
- No validation has been run yet.
- 4 · What remains unclear?
- Not validated yet: no claims, no reproducer.
- 5 · What happens next?
- Our staff decide whether the report is valid. Where this project allows it, agents decide whether it duplicates another report or a known issue. No decision has been recorded yet.
Original report
Since I have just shared my workflow with the Gnome extension developers of Dash to panel, I thought I'd also share my workflow here to possibly be developed into Waybar for use in Omarchy. I might switch to Omarchy soon, currently on Fedora Gnome.
Launch and switch between apps with one hand
One thing I notice from the Omarchy 2.0 video is that DHH is watching the keyboard a lot and has to remember a lot of shortcuts and then do the gymnastics to actually press them with both hands. I can launch and switch between 18 apps with just my left hand, without looking at the keyboard.
When typing I can switch just as fast as when I am holding the mouse with my right hand. My right hand can move freely, not blocking switching or launching apps.
How?
I have modified the Gnome taskbar to show icons with a letter next to each icon. This works for pinned apps and for miscellaneously opened apps.
The letters are w e r t s d f g c v q w e a s d z x
The same could be done for the Omarchy Waybar!
Remapping keyboard with keyd
Then I use Keyd a systemd keyboard remapping tool to map those keys to two keyboard layers.
Holding a key opens a layer with w e r t s d f g c v keys.
Holding f key opens a layer with q w e a s d z x keys.
So pressing a + w for example opens the first app and so on.
The positions are chosen for ergonomics. It only takes a while to get used to switching to the f layer, which is holding f down and pressing keys starting from q to x. So you either use your pinky or your index finger for holding down any of the layers.
Keyd is necessary to convert the keyboard layer key presses to key combinations that Hyprland or Waybar can work with.
Since all icons have a letter for reference you can quickly see what to press when you look at the Waybar, but after a short while you know most of your pinned apps. And you could also hide the letters or toggle them when you hold one of the layer keys. When you know them all by heart you could also get rid of both the icons and letters. Or put that under a shortcut to toggle. The keyboard layers basically replace the current Omarchy shortcuts to open default apps, they don't even have to show at all, it's just that they are maybe less easy to remember than the current shortcuts.
Other keymappings
Since I am using Keyd already, I also map the app finder (Wofi for Omarchy if I am not mistaken) to a + spacebar.
I have also mapped a + q to quit apps.
And I have doubled a + jikl as arrow keys which is my variant of vim motions keys.
My keyd .conf file
Note: M = Super key and I also make shift and super key stickie with a timeout of 500 ms and I swap left control key with capslock because it is easier on the pinkie. For left handed people I would recommend a mirrored keyboard layout, the idea is that opening, switching and closing apps is handled independently from where the other hand is and all shortcuts are on one hand.
[global]
chord_timeout = 10
oneshot_timeout = 500
[ids]
*
[main]
shift = oneshot(shift)
compose = oneshot(meta)
meta = oneshot(meta)
capslock = layer(control)
leftcontrol = capslock
a = lettermod(layer1, a, 400, 500)
f = lettermod(layer2, f, 400, 500)
[layer1]
w = M-1
e = M-2
r = M-3
t = M-4
s = M-5
d = M-6
f = M-7
g = M-8
c = M-9
v = M-0
q = M-q
space = M-space
j = left
k = down
i = up
l = right
[layer2]
q = M-f1
w = M-f2
e = M-f3
a = M-f4
s = M-f5
d = M-f6
z = M-f7
x = M-f8View raw text
Since I have just shared [my workflow](https://github.com/home-sweet-gnome/dash-to-panel/issues/2370) with the Gnome extension developers of [Dash to panel](https://github.com/home-sweet-gnome/dash-to-panel), I thought I'd also share my workflow here to possibly be developed into Waybar for use in Omarchy. I might switch to Omarchy soon, currently on Fedora Gnome. **Launch and switch between apps with one hand** One thing I notice from the Omarchy 2.0 video is that DHH is watching the keyboard a lot and has to remember a lot of shortcuts and then do the gymnastics to actually press them with both hands. I can launch and switch between 18 apps with just my left hand, without looking at the keyboard. When typing I can switch just as fast as when I am holding the mouse with my right hand. My right hand can move freely, not blocking switching or launching apps. How? I have modified the Gnome taskbar to show icons with a letter next to each icon. This works for pinned apps and for miscellaneously opened apps. The letters are w e r t s d f g c v q w e a s d z x The same could be done for the Omarchy Waybar! **Remapping keyboard with keyd** Then I use [Keyd](https://github.com/rvaiya/keyd/tree/master) a systemd keyboard remapping tool to map those keys to two keyboard layers. Holding a key opens a layer with w e r t s d f g c v keys. Holding f key opens a layer with q w e a s d z x keys. So pressing a + w for example opens the first app and so on. The positions are chosen for ergonomics. It only takes a while to get used to switching to the f layer, which is holding f down and pressing keys starting from q to x. So you either use your pinky or your index finger for holding down any of the layers. Keyd is necessary to convert the keyboard layer key presses to key combinations that Hyprland or Waybar can work with. Since all icons have a letter for reference you can quickly see what to press when you look at the Waybar, but after a short while you know most of your pinned apps. And you could also hide the letters or toggle them when you hold one of the layer keys. When you know them all by heart you could also get rid of both the icons and letters. Or put that under a shortcut to toggle. The keyboard layers basically replace the current Omarchy shortcuts to open default apps, they don't even have to show at all, it's just that they are maybe less easy to remember than the current shortcuts. **Other keymappings** Since I am using Keyd already, I also map the app finder (Wofi for Omarchy if I am not mistaken) to a + spacebar. I have also mapped a + q to quit apps. And I have doubled a + jikl as arrow keys which is my variant of vim motions keys. **My keyd .conf file** Note: M = Super key and I also make shift and super key stickie with a timeout of 500 ms and I swap left control key with capslock because it is easier on the pinkie. For left handed people I would recommend a mirrored keyboard layout, the idea is that opening, switching and closing apps is handled independently from where the other hand is and all shortcuts are on one hand. ``` [global] chord_timeout = 10 oneshot_timeout = 500 [ids] * [main] shift = oneshot(shift) compose = oneshot(meta) meta = oneshot(meta) capslock = layer(control) leftcontrol = capslock a = lettermod(layer1, a, 400, 500) f = lettermod(layer2, f, 400, 500) [layer1] w = M-1 e = M-2 r = M-3 t = M-4 s = M-5 d = M-6 f = M-7 g = M-8 c = M-9 v = M-0 q = M-q space = M-space j = left k = down i = up l = right [layer2] q = M-f1 w = M-f2 e = M-f3 a = M-f4 s = M-f5 d = M-f6 z = M-f7 x = M-f8 ```
Validation
Not checked yet. A validator will restate this report as checkable claims, map it to the project's requirements and write a reproducer that the proof engine runs.
Linked
Not linked to any known issue, other report or change yet.
Decision
Decisions are recorded by our staff — or, where this project allows it, by agents: checked by a second, independent agent, or by a single agent where the project's policy says so. Any decision reached so far is shown below.
No decision has been recorded yet.