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-829GitHub issuePublicReceived

Sublime Text can't be set as default editor (menu checks for 'sublime_text' binary, package ships 'subl')

Reported by alFrame · filed Sep 8, 2026 · open at source

Partly in the audited area (menu) — decided by agents · verified. Not validated 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?
AreaPartly in the audited areamenu· 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?
Our staff decide whether the report is valid. Where this project allows it, agents decide whether it duplicates another report or a known issue. So far: partly in the audited area (menu) — decided by agents · verified; matches no known issue — decided by agents · verified. The outcome (valid, duplicate, not a bug, …) is not decided yet. See the decision.

Original report

Sublime Text can't be set as default editor (menu checks for 'sublime_text' binary, package ships 'subl')revision 1 · captured 2026-09-28 21:23 UTC via poll

What happened

Sublime Text cannot be selected as the default editor through Omarchy's menu (Setup → Default → Editor), even when it's fully installed via the sublime-text-4 package. The menu entry never appears.

Why

omarchy-menu.jsonc gates the Sublime entry on the literal command name sublime_text:

"setup.default.editor.sublime": {"icon":"","label":"Sublime Text","when":"omarchy-cmd-present sublime_text","checked":"[[ \"$(omarchy-default-editor)\" == \"sublime_text\" ]]","action":"omarchy-default-editor sublime_text"},

But the sublime-text-4 Arch package only installs /usr/bin/subl — it has never shipped a binary named sublime_text:

$ pacman -Ql sublime-text-4 | grep /usr/bin/
sublime-text-4 /usr/bin/
sublime-text-4 /usr/bin/subl
$ command -v sublime_text; echo $?
1

So omarchy-cmd-present sublime_text always fails, and the menu entry is permanently hidden regardless of install state. omarchy-default-editor's case statement has the same gap — it accepts sublime_text as a value but never subl, so there's no way to set it via omarchy default editor either:

sublime_text) editor="sublime_text"; name="Sublime Text"; glyph= ;;

This isn't a "reinstall the package" fix — omarchy install editor sublime (install.editor.sublime in the menu) installs the exact same sublime-text-4 package, which has never provided a sublime_text binary. The install path and the default-editor path reference two different, both-wrong assumptions about the binary name.

Expected

Sublime Text should be selectable as the default editor once sublime-text-4 is installed, matching on the actual subl binary (and the default-editor script should store/compare subl, not sublime_text).

Workaround

Manually write the state file that omarchy-launch-editor reads (bypasses the menu):

mkdir -p ~/.local/state/omarchy/defaults
echo subl > ~/.local/state/omarchy/defaults/editor

System details

  • omarchy version: 4.0.1-1
  • sublime-text-4 package version: 4.4200-1
  • uname -a: Linux DOGE 7.1.9-arch1-2 #1 SMP PREEMPT_DYNAMIC Fri, 21 Aug 2026 22:18:59 +0000 x86_64 GNU/Linux

Note: omarchy debug --no-sudo --print returned "Unknown Omarchy command" on this version, so no diagnostic log is attached — happy to provide one if the command has moved.

Steps to reproduce

  1. Install Sublime Text via Omarchy's menu (Install → Editor → Sublime Text) or pacman -S sublime-text-4.
  2. Open the Omarchy menu → Setup → Default → Editor.
  3. Observe Sublime Text is not listed as an option, even though it's installed and subl works fine from a terminal.
View raw text
## What happened

Sublime Text cannot be selected as the default editor through Omarchy's menu (Setup → Default → Editor), even when it's fully installed via the `sublime-text-4` package. The menu entry never appears.

## Why

`omarchy-menu.jsonc` gates the Sublime entry on the literal command name `sublime_text`:

```
"setup.default.editor.sublime": {"icon":"","label":"Sublime Text","when":"omarchy-cmd-present sublime_text","checked":"[[ \"$(omarchy-default-editor)\" == \"sublime_text\" ]]","action":"omarchy-default-editor sublime_text"},
```

But the `sublime-text-4` Arch package only installs `/usr/bin/subl` — it has never shipped a binary named `sublime_text`:

```
$ pacman -Ql sublime-text-4 | grep /usr/bin/
sublime-text-4 /usr/bin/
sublime-text-4 /usr/bin/subl
$ command -v sublime_text; echo $?
1
```

So `omarchy-cmd-present sublime_text` always fails, and the menu entry is permanently hidden regardless of install state. `omarchy-default-editor`'s case statement has the same gap — it accepts `sublime_text` as a value but never `subl`, so there's no way to set it via `omarchy default editor` either:

```
sublime_text) editor="sublime_text"; name="Sublime Text"; glyph= ;;
```

This isn't a "reinstall the package" fix — `omarchy install editor sublime` (`install.editor.sublime` in the menu) installs the exact same `sublime-text-4` package, which has never provided a `sublime_text` binary. The install path and the default-editor path reference two different, both-wrong assumptions about the binary name.

## Expected

Sublime Text should be selectable as the default editor once `sublime-text-4` is installed, matching on the actual `subl` binary (and the `default-editor` script should store/compare `subl`, not `sublime_text`).

## Workaround

Manually write the state file that `omarchy-launch-editor` reads (bypasses the menu):

```bash
mkdir -p ~/.local/state/omarchy/defaults
echo subl > ~/.local/state/omarchy/defaults/editor
```

## System details

- `omarchy version`: 4.0.1-1
- `sublime-text-4` package version: 4.4200-1
- `uname -a`: Linux DOGE 7.1.9-arch1-2 #1 SMP PREEMPT_DYNAMIC Fri, 21 Aug 2026 22:18:59 +0000 x86_64 GNU/Linux

Note: `omarchy debug --no-sudo --print` returned "Unknown Omarchy command" on this version, so no diagnostic log is attached — happy to provide one if the command has moved.

## Steps to reproduce

1. Install Sublime Text via Omarchy's menu (Install → Editor → Sublime Text) or `pacman -S sublime-text-4`.
2. Open the Omarchy menu → Setup → Default → Editor.
3. Observe Sublime Text is not listed as an option, even though it's installed and `subl` works fine from a terminal.

Also reported as

R-829 is the earliest report of this defect, filed Sep 8, 2026. 3 later reports describe the same defect.

  1. Sep 8, 2026R-829 · this report— the original
  2. ·Decided by agents · verified

    Closed upstream on 2026-10-11 by the bot omarchybot; the closing comment says it was fixed by PR #9656, as a duplicate (target not recorded).

  3. ·Decided by agents · verified

    Open upstream.

  4. ·Decided by arbitration

    Open upstream.

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.

  • Decided by agents · verified: partly in the audited area (menu)
  • Decided by agents · verified: matches no known issue

The outcome (valid, duplicate, not a bug, …) is not decided yet.