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-641GitHub issuePublicDecided· Out of scope

Trash Settings still fails on Omarchy 4.0.3 after #5531 was closed as completed

Reported by Cruise42 · filed Sep 12, 2026 · open at source

Decided: Out of scope — decided by agents · verified 3 days ago.

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

Trash Settings still fails on Omarchy 4.0.3 after #5531 was closed as completedrevision 1 · captured 2026-09-28 21:23 UTC via poll

System details

  • Intel Core Ultra 9 185H
  • Intel Arc Graphics + NVIDIA GeForce RTX 4070 Max-Q / Mobile
  • Omarchy 4.0.3-1
  • nautilus 50.3.1-1
  • gvfs 1.60.2-4
  • gsettings-desktop-schemas 50.1-1
  • gnome-control-center is not installed

What is wrong?

In Files (Nautilus), selecting Trash and clicking Trash Settings produces this dialog instead of opening settings:

There was an error launching the app.

Details:
GDBus.Error:org.freedesktop.DBus.Error.ServiceUnknown: The name is not activatable

This is still reproducible on Omarchy 4.0.3 with Nautilus 50.3.1. Nautilus hard-codes activation of the org.gnome.Settings D-Bus service for this action, but Omarchy does not provide an activator for that service.

The same underlying issue was reported in #5531, which was closed as completed, and again in #10409, which was closed as a duplicate. Since the failure remains present on current versions, this appears not to have been resolved for the stock Files experience.

Steps to reproduce

  1. Open Files.
  2. Select Trash in the sidebar.
  3. Click the trash-can/settings control and select Trash Settings.
  4. Observe the D-Bus ServiceUnknown error dialog.

The equivalent File History Settings action in Recent is expected to have the same failure because it targets the same missing service.

Expected behavior

The action should open a working settings interface. If Omarchy intentionally does not provide GNOME Settings, Nautilus should not expose an action that is guaranteed to fail; an Omarchy-native settings action or hiding the unsupported item would both avoid the error.

Workaround

The underlying settings can be changed without the UI:

gsettings set org.gnome.desktop.privacy remove-old-trash-files true
gsettings set org.gnome.desktop.privacy old-files-age 30

No full GNOME Control Center installation should be necessary merely to avoid a broken stock Files action.

View raw text
### System details

- Intel Core Ultra 9 185H
- Intel Arc Graphics + NVIDIA GeForce RTX 4070 Max-Q / Mobile
- Omarchy 4.0.3-1
- nautilus 50.3.1-1
- gvfs 1.60.2-4
- gsettings-desktop-schemas 50.1-1
- `gnome-control-center` is not installed

### What is wrong?

In Files (Nautilus), selecting Trash and clicking **Trash Settings** produces this dialog instead of opening settings:

```text
There was an error launching the app.

Details:
GDBus.Error:org.freedesktop.DBus.Error.ServiceUnknown: The name is not activatable
```

This is still reproducible on Omarchy 4.0.3 with Nautilus 50.3.1. Nautilus hard-codes activation of the `org.gnome.Settings` D-Bus service for this action, but Omarchy does not provide an activator for that service.

The same underlying issue was reported in #5531, which was closed as completed, and again in #10409, which was closed as a duplicate. Since the failure remains present on current versions, this appears not to have been resolved for the stock Files experience.

### Steps to reproduce

1. Open Files.
2. Select **Trash** in the sidebar.
3. Click the trash-can/settings control and select **Trash Settings**.
4. Observe the D-Bus `ServiceUnknown` error dialog.

The equivalent **File History Settings** action in Recent is expected to have the same failure because it targets the same missing service.

### Expected behavior

The action should open a working settings interface. If Omarchy intentionally does not provide GNOME Settings, Nautilus should not expose an action that is guaranteed to fail; an Omarchy-native settings action or hiding the unsupported item would both avoid the error.

### Workaround

The underlying settings can be changed without the UI:

```bash
gsettings set org.gnome.desktop.privacy remove-old-trash-files true
gsettings set org.gnome.desktop.privacy old-files-age 30
```

No full GNOME Control Center installation should be necessary merely to avoid a broken stock Files action.

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 12:15 UTC