Proof Portal

Project overview

Omarchy

ProbeLabs65 findings · 95 requirements

A 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
ReportR-4750GitHub issuePublicFixed

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.

Received and recorded verbatim. Nothing has been checked yet.

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

Docker migration removes socket access without an apparent sudoless-Docker setup promptrevision 1 · captured 2026-10-04 12:03 UTC via poll

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.sock

The 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.sock

However, 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:

  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:

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.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?

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.