Proof Portal

Sign in
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-5128GitHub issuePublicReceived

omarchy font set: restart notification for Foot/Ghostty fails (empty -g glyph)

Reported by negri · filed Sep 29, 2026Closed upstream on 2026-09-29 by its own reporter negri, as a duplicate of #13736 (R-2096). GitHub close reason: not_planned.

Open at source
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

omarchy font set: restart notification for Foot/Ghostty fails (empty -g glyph)revision 1 · captured 2026-10-04 12:17 UTC via poll

System details

Intel i7-8750H, Intel UHD 630 + NVIDIA GTX 1060 Mobile, Omarchy 4.0.4-1

What's wrong?

omarchy font set prints the omarchy-notification-send usage text instead of showing the "You must restart Foot/Ghostty to see font change" notification when a Foot or Ghostty process is running.

Steps to reproduce

  1. Have a foot (or ghostty) window open.
  2. Run omarchy font set "<any installed font>".

Actual

~ ❯ omarchy font set "Hasklug Nerd Font Mono"
234014
Usage: omarchy-notification-send [--app-name <app-name>] [-g <glyph>] [-u <low|normal|critical>] [-i <icon>] [-t <ms>] [-r <id>] [-p] [--image <path-or-uri>] <headline> [description] [--exec <program> [args...]]

The font change itself is applied correctly; only the notification fails. (The 234014 is also stray output from pgrep -x foot, which isn't silenced.)

Cause

In bin/omarchy-font-set (lines 77 and 81 of 4.0.4, same on quattro), the glyph argument is empty — there is no character between -g and the message:

omarchy-notification-send -g  "You must restart Ghostty to see font change"
omarchy-notification-send -g  "You must restart Foot to see font change"

So -g consumes the message as the glyph and the command is left without a headline, which prints the usage text. It looks like the Nerd Font glyph got stripped at some point (compare omarchy-default-terminal, where the glyphs are intact).

Suggested fix

Restore the glyph after -g (or drop -g), and silence the checks with pgrep -x ghostty >/dev/null / pgrep -x foot >/dev/null.

View raw text
### System details

Intel i7-8750H, Intel UHD 630 + NVIDIA GTX 1060 Mobile, Omarchy 4.0.4-1

### What's wrong?

`omarchy font set` prints the `omarchy-notification-send` usage text instead of showing the "You must restart Foot/Ghostty to see font change" notification when a Foot or Ghostty process is running.

**Steps to reproduce**

1. Have a `foot` (or `ghostty`) window open.
2. Run `omarchy font set "<any installed font>"`.

**Actual**

```
~ ❯ omarchy font set "Hasklug Nerd Font Mono"
234014
Usage: omarchy-notification-send [--app-name <app-name>] [-g <glyph>] [-u <low|normal|critical>] [-i <icon>] [-t <ms>] [-r <id>] [-p] [--image <path-or-uri>] <headline> [description] [--exec <program> [args...]]
```

The font change itself is applied correctly; only the notification fails. (The `234014` is also stray output from `pgrep -x foot`, which isn't silenced.)

**Cause**

In `bin/omarchy-font-set` (lines 77 and 81 of 4.0.4, same on `quattro`), the glyph argument is empty — there is no character between `-g` and the message:

```bash
omarchy-notification-send -g  "You must restart Ghostty to see font change"
omarchy-notification-send -g  "You must restart Foot to see font change"
```

So `-g` consumes the message as the glyph and the command is left without a headline, which prints the usage text. It looks like the Nerd Font glyph got stripped at some point (compare `omarchy-default-terminal`, where the glyphs are intact).

**Suggested fix**

Restore the glyph after `-g` (or drop `-g`), and silence the checks with `pgrep -x ghostty >/dev/null` / `pgrep -x foot >/dev/null`.

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.

No decision has been recorded yet.