Proof Portal
Project overview
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.
Inbox
Problems reported from outside the audit — kept verbatim, then checked: is the claim real, what does it touch, can it be reproduced? Validated reports are shown in full; items still under responsible disclosure appear only as a count until they are released.
Issues already closed where they were filed (for example on GitHub) with nothing decided here. Kept as history so a new report can be matched to the earliest one; they are not worked, even if an agent left a proposal or a question on one.
- R-2298Fingerprint Reader for t480by riegojerey· closed — not planned at sourceReceived
- R-2297The installation fails everytimeby Awais-Sajid-119· closed — completed at sourceReceived
- R-2296Keyboard CAPSLOCK behaves differentby ahmetkca· closed — completed at sourceReceived
- R-2295Adjust max passwords attempts behaviorby ryanrhughes· closed — completed at sourceReceived
- R-2294Installing zsh broke my install.by hsyed· closed — completed at sourceReceived
- R-2293Splash screen displays off-centered in some setupsby ryanrhughes· closed — completed at sourceReceived
- R-2292Add tpm2 backed full disk encryption to the isoby tanshkoul· closed — completed at sourceReceived
- R-2291Swaybg-next does not handle white spaces in file pathby shubham-mamodiya-dev· closed — completed at sourceReceived
- R-2290Install scripts don't work in zsh shellby genebean· closed — completed at sourceReceived
- R-2289Freeze after lock and suspendby weierfischen· closed — completed at sourceReceived
- R-2288Move keybinds to user-level configurationby BigMitchGit· closed — completed at sourceReceived
- R-2287Suggestion: Enable colorful output in pacman/yay.by maxguzenski· closed — completed at sourceReceived
- R-2286Add auto-detection of scale settingby dhh· closed — not planned at sourceenhancementReceived
- R-2285Add back clipse as clipboard manager when pw-safe version is releasedby dhh· closed — completed at sourceReceived
- R-2284Web apps open in already open browser windowby weierfischen· closed — completed at sourceReceived
- R-2283Menu based Installationby thakur-abhijeet· closed — completed at sourceReceived
- Received
- Received
- R-2280omarchy-show-keybindings does not show my custom bindingsby lajjne· closed — completed at sourceReceived
- R-2279Add support for hibernateby dhh· closed — completed at sourceenhancementReceived
- R-2278Can't paste screenshots (Ctrl+V) into Claude Code REPL in Alacritty (worked on Omakub)by wriver0s· closed — completed at sourceReceived
- R-2277Suggestion: Use GNU Stow as the Default symlink Managerby npenza· closed — not planned at sourceReceived
- R-2276use shift ctrl + 4 and shift ctrl + 3 for screenshot instead of printscreen (same as mac)by al3rez· closed — completed at sourceReceived
- R-2275tty shortcuts don't work.by incon· closed — completed at sourceReceived
- R-2274Suggestion: Dynamic color schemes based on wallpaperby marlonmarcello· closed — completed at sourceReceived
- R-2273suggestion espanso service for os level snippetsby phanirithvij· closed — completed at sourceReceived
- R-2272ERROR: 1password-beta is not available for 'aarch64' archby ghuntley· closed — completed at sourceReceived
- R-2271Manual typo for Grepby opswole· closed — completed at sourceReceived
- R-2270Add note to FAQ about 1Password approval prompt issuesby ryanrhughes· closed — completed at sourceReceived
- R-22691Password 2FA Code fails to saveby opswole· closed — completed at sourceReceived
- R-2268Some apps do not function (VirtualBox install)by rnadler· closed — completed at sourceReceived
- R-2267No simple way to close mako notificationsby ThiaudioTT· closed — completed at sourceReceived
- R-2266Provide a minimal script version?by c4software· closed — completed at sourceReceived
- R-2265Ask user to enable or not to autologinby caiogouveia· closed — completed at sourceReceived
- R-2264Adds info about icloud.com to "Exiting the Mac" sectionby cannikin· closed — completed at sourceReceived
- R-2263Add custom decryption boot screenby dhh· closed — completed at sourceenhancementReceived
- R-2262Add 10% battery notification warningby dhh· closed — completed at sourceenhancementReceived
- R-2261Failed to boot after installation on the latest Arch Linux 2025.07.01-x64by denisgolius· closed — completed at sourceReceived
- R-2260Add localsend (but there are rust conflicts)by dhh· closed — completed at sourceReceived
- R-2259Lockscreen sometimes only show up on one monitor when using a multi-monitor setupby diegopluna· closed — completed at sourceReceived
- R-2258The Omarchy Manual Typo - Change Wallpaper Key bindby taylorminton· closed — completed at sourceReceived
- R-2257Browsers have poor wayland support on Nvidia, lots of visual glitches.by BigMitchGit· closed — completed at sourceReceived
- R-2256add localsend to default extra programsby al3rez· closed — completed at sourceReceived
- R-2255Neovim is unable to switch to current theme when theme changesby prertik· closed — completed at sourceReceived
- R-2254alacritty freezes on copy paste from chrome or other appsby al3rez· closed — completed at sourceReceived
- R-2253Is the alias fd='fdfind' obsolete because of the ff aliasby yacmeno· closed — completed at sourceReceived
- R-2252Failed install on non-nvidia machineby mheisig· closed — completed at sourceReceived
- R-2251System Freeze on Wake-upby itsnumpty· closed — not planned at sourceReceived
- R-2250Yay + fzf aliasesby justbispo· closed — completed at sourceReceived
- R-2249Signal Desktop loses XCompose/fcitx after waking from sleepby dhh· closed — completed at sourceReceived
- R-2248Support for right-click on touchpadby brentdodell· closed — completed at sourceReceived
- R-2247Omarchy installer stuckby Mohamedsayhii· closed — completed at sourceReceived
- R-2246Xorg still needed for some scenariosby ylluminate· closed — completed at sourceReceived
- R-2245ZSH Supportby d4n3sh· closed — completed at sourceReceived
- R-2244feature: add glance as extras for news/feed hub it goes well with omarchyby al3rez· closed — completed at sourceReceived
- R-2243Secret Service API Providerby davidgasquez· closed — completed at sourceReceived
- R-2242Apps 2x scaled with GDK_SCALE set to 1by varo6· closed — completed at sourceReceived
- R-2241first time installed omarchy chrome webapps pop up as floating window, unless you toggle off "Use system title bar"by al3rez· closed — completed at sourceReceived
- R-2240Add theme installerby dhh· closed — completed at sourceenhancementReceived
- R-2239Add support for light themesby dhh· closed — completed at sourceenhancementReceived
- R-2238fr keyboard layoutby Antse· closed — completed at sourceReceived
- R-2237Nvidia Supportby LeAlencar· closed — completed at sourceReceived
| Report | Source | Received | Disclosure | Stage |
|---|---|---|---|---|
R-2298Fingerprint Reader for t480 by riegojerey· closed — not planned at source | GitHub issueomacom/omarchy#170 | 15 months ago | Public | Received |
R-2297The installation fails everytime by Awais-Sajid-119· closed — completed at source | GitHub issueomacom/omarchy#168 | 15 months ago | Public | Received |
R-2296Keyboard CAPSLOCK behaves different by ahmetkca· closed — completed at source | GitHub issueomacom/omarchy#166 | 15 months ago | Public | Received |
R-2295Adjust max passwords attempts behavior by ryanrhughes· closed — completed at source | GitHub issueomacom/omarchy#163 | 15 months ago | Public | Received |
R-2294Installing zsh broke my install. by hsyed· closed — completed at source | GitHub issueomacom/omarchy#162 | 15 months ago | Public | Received |
R-2293Splash screen displays off-centered in some setups by ryanrhughes· closed — completed at source | GitHub issueomacom/omarchy#142 | 15 months ago | Public | Received |
R-2292Add tpm2 backed full disk encryption to the iso by tanshkoul· closed — completed at source | GitHub issueomacom/omarchy#141 | 15 months ago | Public | Received |
R-2291Swaybg-next does not handle white spaces in file path by shubham-mamodiya-dev· closed — completed at source | GitHub issueomacom/omarchy#138 | 15 months ago | Public | Received |
R-2290Install scripts don't work in zsh shell by genebean· closed — completed at source | GitHub issueomacom/omarchy#134 | 15 months ago | Public | Received |
R-2289Freeze after lock and suspend by weierfischen· closed — completed at source | GitHub issueomacom/omarchy#133 | 15 months ago | Public | Received |
R-2288Move keybinds to user-level configuration by BigMitchGit· closed — completed at source | GitHub issueomacom/omarchy#132 | 15 months ago | Public | Received |
R-2287Suggestion: Enable colorful output in pacman/yay. by maxguzenski· closed — completed at source | GitHub issueomacom/omarchy#129 | 15 months ago | Public | Received |
R-2286Add auto-detection of scale setting by dhh· closed — not planned at sourceenhancement | GitHub issueomacom/omarchy#127 | 15 months ago | Public | Received |
R-2285Add back clipse as clipboard manager when pw-safe version is released by dhh· closed — completed at source | GitHub issueomacom/omarchy#126 | 15 months ago | Public | Received |
R-2284Web apps open in already open browser window by weierfischen· closed — completed at source | GitHub issueomacom/omarchy#120 | 15 months ago | Public | Received |
R-2283Menu based Installation by thakur-abhijeet· closed — completed at source | GitHub issueomacom/omarchy#115 | 15 months ago | Public | Received |
GitHub issueomacom/omarchy#114 | 15 months ago | Public | Received | |
GitHub issueomacom/omarchy#112 | 15 months ago | Public | Received | |
R-2280omarchy-show-keybindings does not show my custom bindings by lajjne· closed — completed at source | GitHub issueomacom/omarchy#106 | 15 months ago | Public | Received |
R-2279Add support for hibernate by dhh· closed — completed at sourceenhancement | GitHub issueomacom/omarchy#105 | 15 months ago | Public | Received |
R-2278Can't paste screenshots (Ctrl+V) into Claude Code REPL in Alacritty (worked on Omakub) by wriver0s· closed — completed at source | GitHub issueomacom/omarchy#99 | 15 months ago | Public | Received |
R-2277Suggestion: Use GNU Stow as the Default symlink Manager by npenza· closed — not planned at source | GitHub issueomacom/omarchy#95 | 15 months ago | Public | Received |
R-2276use shift ctrl + 4 and shift ctrl + 3 for screenshot instead of printscreen (same as mac) by al3rez· closed — completed at source | GitHub issueomacom/omarchy#94 | 15 months ago | Public | Received |
R-2275tty shortcuts don't work. by incon· closed — completed at source | GitHub issueomacom/omarchy#93 | 15 months ago | Public | Received |
R-2274Suggestion: Dynamic color schemes based on wallpaper by marlonmarcello· closed — completed at source | GitHub issueomacom/omarchy#92 | 15 months ago | Public | Received |
R-2273suggestion espanso service for os level snippets by phanirithvij· closed — completed at source | GitHub issueomacom/omarchy#88 | 15 months ago | Public | Received |
R-2272ERROR: 1password-beta is not available for 'aarch64' arch by ghuntley· closed — completed at source | GitHub issueomacom/omarchy#87 | 15 months ago | Public | Received |
R-2271Manual typo for Grep by opswole· closed — completed at source | GitHub issueomacom/omarchy#83 | 15 months ago | Public | Received |
R-2270Add note to FAQ about 1Password approval prompt issues by ryanrhughes· closed — completed at source | GitHub issueomacom/omarchy#75 | 16 months ago | Public | Received |
R-22691Password 2FA Code fails to save by opswole· closed — completed at source | GitHub issueomacom/omarchy#73 | 16 months ago | Public | Received |
R-2268Some apps do not function (VirtualBox install) by rnadler· closed — completed at source | GitHub issueomacom/omarchy#72 | 16 months ago | Public | Received |
R-2267No simple way to close mako notifications by ThiaudioTT· closed — completed at source | GitHub issueomacom/omarchy#67 | 16 months ago | Public | Received |
R-2266Provide a minimal script version? by c4software· closed — completed at source | GitHub issueomacom/omarchy#66 | 16 months ago | Public | Received |
R-2265Ask user to enable or not to autologin by caiogouveia· closed — completed at source | GitHub issueomacom/omarchy#64 | 16 months ago | Public | Received |
R-2264Adds info about icloud.com to "Exiting the Mac" section by cannikin· closed — completed at source | GitHub issueomacom/omarchy#62 | 16 months ago | Public | Received |
R-2263Add custom decryption boot screen by dhh· closed — completed at sourceenhancement | GitHub issueomacom/omarchy#61 | 16 months ago | Public | Received |
R-2262Add 10% battery notification warning by dhh· closed — completed at sourceenhancement | GitHub issueomacom/omarchy#59 | 16 months ago | Public | Received |
R-2261Failed to boot after installation on the latest Arch Linux 2025.07.01-x64 by denisgolius· closed — completed at source | GitHub issueomacom/omarchy#50 | 16 months ago | Public | Received |
R-2260Add localsend (but there are rust conflicts) by dhh· closed — completed at source | GitHub issueomacom/omarchy#46 | 16 months ago | Public | Received |
R-2259Lockscreen sometimes only show up on one monitor when using a multi-monitor setup by diegopluna· closed — completed at source | GitHub issueomacom/omarchy#45 | 16 months ago | Public | Received |
R-2258The Omarchy Manual Typo - Change Wallpaper Key bind by taylorminton· closed — completed at source | GitHub issueomacom/omarchy#41 | 16 months ago | Public | Received |
R-2257Browsers have poor wayland support on Nvidia, lots of visual glitches. by BigMitchGit· closed — completed at source | GitHub issueomacom/omarchy#39 | 16 months ago | Public | Received |
R-2256add localsend to default extra programs by al3rez· closed — completed at source | GitHub issueomacom/omarchy#38 | 16 months ago | Public | Received |
R-2255Neovim is unable to switch to current theme when theme changes by prertik· closed — completed at source | GitHub issueomacom/omarchy#36 | 16 months ago | Public | Received |
R-2254alacritty freezes on copy paste from chrome or other apps by al3rez· closed — completed at source | GitHub issueomacom/omarchy#35 | 16 months ago | Public | Received |
R-2253Is the alias fd='fdfind' obsolete because of the ff alias by yacmeno· closed — completed at source | GitHub issueomacom/omarchy#32 | 16 months ago | Public | Received |
R-2252Failed install on non-nvidia machine by mheisig· closed — completed at source | GitHub issueomacom/omarchy#30 | 16 months ago | Public | Received |
R-2251System Freeze on Wake-up by itsnumpty· closed — not planned at source | GitHub issueomacom/omarchy#26 | 16 months ago | Public | Received |
R-2250Yay + fzf aliases by justbispo· closed — completed at source | GitHub issueomacom/omarchy#24 | 16 months ago | Public | Received |
R-2249Signal Desktop loses XCompose/fcitx after waking from sleep by dhh· closed — completed at source | GitHub issueomacom/omarchy#23 | 16 months ago | Public | Received |
R-2248Support for right-click on touchpad by brentdodell· closed — completed at source | GitHub issueomacom/omarchy#21 | 16 months ago | Public | Received |
R-2247Omarchy installer stuck by Mohamedsayhii· closed — completed at source | GitHub issueomacom/omarchy#19 | 16 months ago | Public | Received |
R-2246Xorg still needed for some scenarios by ylluminate· closed — completed at source | GitHub issueomacom/omarchy#18 | 16 months ago | Public | Received |
R-2245ZSH Support by d4n3sh· closed — completed at source | GitHub issueomacom/omarchy#16 | 16 months ago | Public | Received |
R-2244feature: add glance as extras for news/feed hub it goes well with omarchy by al3rez· closed — completed at source | GitHub issueomacom/omarchy#14 | 16 months ago | Public | Received |
R-2243Secret Service API Provider by davidgasquez· closed — completed at source | GitHub issueomacom/omarchy#12 | 16 months ago | Public | Received |
R-2242Apps 2x scaled with GDK_SCALE set to 1 by varo6· closed — completed at source | GitHub issueomacom/omarchy#11 | 16 months ago | Public | Received |
R-2241first time installed omarchy chrome webapps pop up as floating window, unless you toggle off "Use system title bar" by al3rez· closed — completed at source | GitHub issueomacom/omarchy#9 | 16 months ago | Public | Received |
R-2240Add theme installer by dhh· closed — completed at sourceenhancement | GitHub issueomacom/omarchy#7 | 16 months ago | Public | Received |
R-2239Add support for light themes by dhh· closed — completed at sourceenhancement | GitHub issueomacom/omarchy#6 | 16 months ago | Public | Received |
R-2238fr keyboard layout by Antse· closed — completed at source | GitHub issueomacom/omarchy#5 | 16 months ago | Public | Received |
R-2237Nvidia Support by LeAlencar· closed — completed at source | GitHub issueomacom/omarchy#4 | 16 months ago | Public | Received |