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.
Hotkeys manual incorrectly lists Backspace for file-manager navigation
Reported by daqo · filed Aug 23, 2026 · open at source
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?
- AreaOutside the audited area· Decided by agents · verified
- 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?
- Decided by agents and verified by a second, independent agent — see the decision.
Original report
Description
The File Manager section of the Omarchy hotkeys manual documents:
Backspace | Go back one folderOn a current Omarchy installation, the default file manager is stock Nautilus and pressing Backspace does not navigate.
Manual page: https://omarchy.org/manual/hotkeys/#file-manager
Steps to reproduce
- Launch the default file manager with
Super + Shift + F. - Open a child folder.
- Press
Backspace. - Observe that Nautilus does not navigate.
Actual behavior
Backspace has no folder-navigation action in Nautilus.
The installed Nautilus shortcut definitions report:
Alt + Left— Go Back (navigation history)Alt + Right— Go ForwardAlt + Up— Go Up (parent folder)
No Omarchy configuration override mapping Backspace to Nautilus navigation was found.
Expected documentation
Please replace the Backspace entry with the intended Nautilus shortcut:
- If "back" means navigation history:
Alt + Left - If "one folder" means the parent directory:
Alt + Up
It may also be useful to distinguish those two operations in the wording.
Environment
- Omarchy: 4.0.0
- Nautilus: 50.2.2
View raw text
## Description The File Manager section of the Omarchy hotkeys manual documents: ```text Backspace | Go back one folder ``` On a current Omarchy installation, the default file manager is stock Nautilus and pressing Backspace does not navigate. Manual page: https://omarchy.org/manual/hotkeys/#file-manager ## Steps to reproduce 1. Launch the default file manager with `Super + Shift + F`. 2. Open a child folder. 3. Press `Backspace`. 4. Observe that Nautilus does not navigate. ## Actual behavior `Backspace` has no folder-navigation action in Nautilus. The installed Nautilus shortcut definitions report: - `Alt + Left` — Go Back (navigation history) - `Alt + Right` — Go Forward - `Alt + Up` — Go Up (parent folder) No Omarchy configuration override mapping Backspace to Nautilus navigation was found. ## Expected documentation Please replace the Backspace entry with the intended Nautilus shortcut: - If "back" means navigation history: `Alt + Left` - If "one folder" means the parent directory: `Alt + Up` It may also be useful to distinguish those two operations in the wording. ## Environment - Omarchy: 4.0.0 - Nautilus: 50.2.2
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.
- Out of scopeDecided by agents · verified · 2026-10-09 08:34 UTC