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.
Docker migration removes socket access without an apparent sudoless-Docker setup prompt
Reported by mattrayner · filed Aug 30, 2026Closed upstream on 2026-08-30 by its own reporter mattrayner. GitHub close reason: completed. Closed by its own reporter — not by itself 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
TLDR;
After updating Omarchy (I'm on he Edge branch) my user is removed from the docker group, meaning I now get errors accessing the docker socket. Looks related to #8056
Seems the user is removed but docker isnt 'made' sudo-less by default, leaving me in a weird state.
I would expect the update to force a restart if this is required, or otherwise for there to be a way for me to tell as a user that there are extra steps clearly
Environment
- Omarchy:
4.0.0.r1849.g83881e9-1(omarchy-dev) - Docker:
1:29.7.2-1 - User:
matt
Problem
After an Omarchy update/migration, standard Docker CLI commands no longer work without sudo:
$ docker ps
permission denied while trying to connect to the docker API at unix:///var/run/docker.sockThe Docker daemon and socket are otherwise healthy:
$ systemctl is-active docker.socket
active
$ stat -c %U\ %G\ %a\ %n /var/run/docker.sock
root docker 660 /var/run/docker.sockHowever, the user is no longer a member of the docker group:
$ id
uid=1000(matt) gid=1000(matt) groups=1000(matt),5(tty),984(uucp),992(input),998(wheel),1003(dialout)
$ getent group docker
docker:x:967:Investigation
This appears related to migration migrations/1787580187.sh, which invokes omarchy-remove-security-sudoless-docker and removes an existing user from the docker group.
I understand the security rationale: Docker group membership is effectively root-equivalent, and #8056 intentionally made this opt-in.
However, I cannot tell whether the corresponding opt-in/setup step was presented or completed on this installation. The resulting state is that a previously working docker ps workflow begins failing with a generic socket-permission error, without an obvious explanation or guided remediation.
Expected behavior
When migration removes Docker-group membership, one of the following should happen:
- Clearly notify the user that plain
dockercommands now requiresudo; or - Prompt the user to explicitly choose sudoless Docker; or
- Provide a visible post-migration message explaining how to enable it later.
For example:
omarchy setup security sudoless-docker(or the equivalent supported command).
Actual behavior
The group-removal portion appears to have executed, but I did not see an accompanying prompt or clear guidance. Standard Docker commands then fail:
permission denied while trying to connect to the docker API at unix:///var/run/docker.sockRequest
Could you confirm whether the migration is expected to present/setup the opt-in flow? If not, would you consider adding a notification or explicit migration prompt so users do not lose Docker CLI access without understanding why?
View raw text
## TLDR; After updating Omarchy (I'm on he Edge branch) my user is removed from the docker group, meaning I now get errors accessing the docker socket. Looks related to #8056 Seems the user is removed but docker isnt 'made' sudo-less by default, leaving me in a weird state. I would expect the update to force a restart if this is required, or otherwise for there to be a way for me to tell as a user that there are extra steps clearly ## Environment - Omarchy: `4.0.0.r1849.g83881e9-1` (`omarchy-dev`) - Docker: `1:29.7.2-1` - User: `matt` ## Problem After an Omarchy update/migration, standard Docker CLI commands no longer work without `sudo`: ```text $ docker ps permission denied while trying to connect to the docker API at unix:///var/run/docker.sock ``` The Docker daemon and socket are otherwise healthy: ```text $ systemctl is-active docker.socket active $ stat -c %U\ %G\ %a\ %n /var/run/docker.sock root docker 660 /var/run/docker.sock ``` However, the user is no longer a member of the `docker` group: ```text $ id uid=1000(matt) gid=1000(matt) groups=1000(matt),5(tty),984(uucp),992(input),998(wheel),1003(dialout) $ getent group docker docker:x:967: ``` ## Investigation This appears related to migration `migrations/1787580187.sh`, which invokes `omarchy-remove-security-sudoless-docker` and removes an existing user from the `docker` group. I understand the security rationale: Docker group membership is effectively root-equivalent, and #8056 intentionally made this opt-in. However, I cannot tell whether the corresponding opt-in/setup step was presented or completed on this installation. The resulting state is that a previously working `docker ps` workflow begins failing with a generic socket-permission error, without an obvious explanation or guided remediation. ## Expected behavior When migration removes Docker-group membership, one of the following should happen: 1. Clearly notify the user that plain `docker` commands now require `sudo`; or 2. Prompt the user to explicitly choose sudoless Docker; or 3. Provide a visible post-migration message explaining how to enable it later. For example: ```bash omarchy setup security sudoless-docker ``` (or the equivalent supported command). ## Actual behavior The group-removal portion appears to have executed, but I did not see an accompanying prompt or clear guidance. Standard Docker commands then fail: ```text permission denied while trying to connect to the docker API at unix:///var/run/docker.sock ``` ## Request Could you confirm whether the migration is expected to present/setup the opt-in flow? If not, would you consider adding a notification or explicit migration prompt so users do not lose Docker CLI access without understanding why?
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
- Related PRpr/11032· confirmed
- Fixed bypr/11386· confirmed
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.