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.
Omarchy Installation Causes GRUB to Stop Detecting Existing Ubuntu and Windows Installations
Reported by cn0xroot · 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
System details
AMD 9950x + nvidia 2080ti
What's wrong?
Description
I have an existing dual-boot setup with Ubuntu and Windows 10. Before installing Omarchy, the Ubuntu GRUB bootloader was working correctly and could detect and boot both Ubuntu and Windows 10.
After installing Omarchy, the existing Ubuntu and Windows installations were no longer detected by the GRUB configuration installed by Omarchy.
As a result, when the system boots, the GRUB menu only provides the option to boot into Omarchy. Ubuntu and Windows 10 are not listed.
Current Situation
The current boot behavior is:
GRUB
└── Omarchy
The previous Ubuntu GRUB configuration was able to detect:
GRUB
├── Ubuntu
└── Windows 10
Interestingly, if I boot using the original Ubuntu GRUB configuration, it can still successfully detect and boot both Ubuntu and Windows 10.
However, when booted into Ubuntu and running:
sudo update-grub
or:
sudo update-grub2
the Omarchy installation is also not detected and added to the Ubuntu GRUB menu.
Therefore, the two GRUB configurations appear to be unable to detect each other's operating system installation.
Expected Behavior
After installing Omarchy, I would expect the GRUB configuration to detect all existing operating systems, for example:
GRUB
├── Omarchy
├── Ubuntu
└── Windows 10
Alternatively, Ubuntu's existing GRUB should be able to detect Omarchy when running:
sudo update-grub
Actual Behavior
Omarchy's GRUB only detects Omarchy.
Ubuntu's GRUB can still detect Ubuntu and Windows 10.
Ubuntu's update-grub / update-grub2 does not detect Omarchy.
The existing Ubuntu and Windows 10 installations themselves are still functional and bootable through the previous Ubuntu GRUB configuration.
Additional Information
This does not appear to be a problem with the Ubuntu or Windows installations themselves, because the original Ubuntu GRUB can still detect and boot both systems.
The issue seems to be related to how Omarchy installs/configures GRUB, EFI boot entries, or OS detection.
It would be helpful to understand:
Why does Omarchy's GRUB fail to detect the existing Ubuntu and Windows 10 installations?
Why does Ubuntu's update-grub fail to detect the Omarchy installation?
Does Omarchy intentionally use a separate GRUB/EFI configuration?
Is there a recommended way to configure GRUB so that Omarchy, Ubuntu, and Windows 10 can coexist in the same boot menu?
Environment
Existing OS: Ubuntu
Existing OS: Windows 10
Newly installed OS: Omarchy
Boot mode: UEFI
Bootloader: GRUB
I would appreciate any guidance on the correct way to configure the bootloader for a multi-boot setup involving Omarchy + Ubuntu + Windows 10.
By the way, I really like the project. The UI and overall design of Omarchy are genuinely impressive, and the experience feels very polished.
Thank you to everyone contributing to the project. I hope Omarchy continues to improve and becomes an even better desktop Linux experience in the future! 🎉
View raw text
### System details AMD 9950x + nvidia 2080ti ### What's wrong? Description I have an existing dual-boot setup with Ubuntu and Windows 10. Before installing Omarchy, the Ubuntu GRUB bootloader was working correctly and could detect and boot both Ubuntu and Windows 10. After installing Omarchy, the existing Ubuntu and Windows installations were no longer detected by the GRUB configuration installed by Omarchy. As a result, when the system boots, the GRUB menu only provides the option to boot into Omarchy. Ubuntu and Windows 10 are not listed. Current Situation The current boot behavior is: GRUB └── Omarchy The previous Ubuntu GRUB configuration was able to detect: GRUB ├── Ubuntu └── Windows 10 Interestingly, if I boot using the original Ubuntu GRUB configuration, it can still successfully detect and boot both Ubuntu and Windows 10. However, when booted into Ubuntu and running: sudo update-grub or: sudo update-grub2 the Omarchy installation is also not detected and added to the Ubuntu GRUB menu. Therefore, the two GRUB configurations appear to be unable to detect each other's operating system installation. Expected Behavior After installing Omarchy, I would expect the GRUB configuration to detect all existing operating systems, for example: GRUB ├── Omarchy ├── Ubuntu └── Windows 10 Alternatively, Ubuntu's existing GRUB should be able to detect Omarchy when running: sudo update-grub Actual Behavior Omarchy's GRUB only detects Omarchy. Ubuntu's GRUB can still detect Ubuntu and Windows 10. Ubuntu's update-grub / update-grub2 does not detect Omarchy. The existing Ubuntu and Windows 10 installations themselves are still functional and bootable through the previous Ubuntu GRUB configuration. Additional Information This does not appear to be a problem with the Ubuntu or Windows installations themselves, because the original Ubuntu GRUB can still detect and boot both systems. The issue seems to be related to how Omarchy installs/configures GRUB, EFI boot entries, or OS detection. It would be helpful to understand: Why does Omarchy's GRUB fail to detect the existing Ubuntu and Windows 10 installations? Why does Ubuntu's update-grub fail to detect the Omarchy installation? Does Omarchy intentionally use a separate GRUB/EFI configuration? Is there a recommended way to configure GRUB so that Omarchy, Ubuntu, and Windows 10 can coexist in the same boot menu? Environment Existing OS: Ubuntu Existing OS: Windows 10 Newly installed OS: Omarchy Boot mode: UEFI Bootloader: GRUB I would appreciate any guidance on the correct way to configure the bootloader for a multi-boot setup involving Omarchy + Ubuntu + Windows 10. By the way, I really like the project. The UI and overall design of Omarchy are genuinely impressive, and the experience feels very polished. Thank you to everyone contributing to the project. I hope Omarchy continues to improve and becomes an even better desktop Linux experience in the future! 🎉
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:25 UTC