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

Super+C interrupts commands in Foot after clipboard shortcut update; existing configs need migration

Reported by rfmyrick · filed Sep 26, 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

Super+C interrupts commands in Foot after clipboard shortcut update; existing configs need migrationrevision 1 · captured 2026-09-28 21:23 UTC via poll

System details

  • HP ZBook Ultra G1a 14 inch Mobile Workstation PC
  • AMD Ryzen AI MAX+ PRO 395 / Radeon 8060S
  • Omarchy development packages: omarchy-dev and omarchy-settings-dev 4.0.0.r2304.g7b336b1-1
  • Hyprland 0.56.2
  • Foot 1.28.0

What's wrong?

After updating Omarchy, pressing Super+C in Foot behaves like Ctrl+C and interrupts the foreground command instead of copying. The existing Foot configuration still has the older clipboard bindings:

[key-bindings]
clipboard-copy=Control+Insert
primary-paste=none
clipboard-paste=Shift+Insert

Commit https://github.com/omacom/omarchy/commit/129c67e25a1ae0e054d13a2ccb1c5edb790aaf09 (September 22, "Add select all and standard terminal clipboard shortcuts") changed the terminal branch of the universal clipboard bindings:

  • Super+C: Ctrl+Insert -> Ctrl+Shift+C
  • Super+V: Shift+Insert -> Ctrl+Shift+V

The commit changes only default/hypr/bindings/clipboard.lua. I could not find a corresponding migration in the installed version to add the new chords to existing Foot configurations.

The current packaged Foot template already accepts both sets of shortcuts, but existing user configurations can still contain only the Insert bindings. With that configuration, Foot does not consume the new copy chord as a clipboard action and it reaches the foreground program as an interrupt. The paste binding has the same configuration mismatch.

This affects upgrades retaining those older Foot bindings; fresh installations using the current template should already have the required mappings.

Steps to reproduce

  1. Use Foot with the three [key-bindings] entries shown above.
  2. Use Omarchy's clipboard bindings from commit 129c67e2 or later.
  3. Open a new Foot window and run a disposable foreground command such as sleep 60.
  4. Press Super+C.
  5. Observe that the command is interrupted instead of the shortcut being handled as terminal copy.

Expected: Super+C copies Foot's terminal selection and does not interrupt the foreground command; Super+V pastes the clipboard.

Evidence and local workaround

  • The running Foot windows have the terminal* tag, including through hl.get_active_window().tags, so this is not a terminal-class detection failure.
  • Hyprland reports the active Super+C binding as Universal copy and reports no configuration errors.
  • Cached omarchy-settings-dev package r2014.gf99d33a uses the Insert chords. Package r2256.gc3e67f5, installed here on September 25, already uses the new Ctrl+Shift chords; r2304.g7b336b1 retains them.
  • The existing Foot config was last modified September 13, before the shortcut change.

I added the mappings from the current packaged template locally:

clipboard-copy=Control+Insert Control+Shift+c XF86Copy
primary-paste=none
clipboard-paste=Shift+Insert Control+Shift+v XF86Paste

foot --check-config passes. Existing Foot windows retain their startup configuration, so new windows are required to pick up these changes. Interactive confirmation of the workaround is still pending.

A targeted, idempotent migration that adds the missing copy/paste chords while preserving user customizations would address the upgrade path.

I checked the related reports: #12827 concerns keyboard selections inside TUIs, and #6379 concerns terminal tagging. This report concerns the new injected chords not matching an existing Foot configuration.

The documented omarchy debug --no-sudo --print command is unavailable in this installed development version ("Unknown Omarchy command"); relevant version and configuration diagnostics are included above.

View raw text
### System details

- HP ZBook Ultra G1a 14 inch Mobile Workstation PC
- AMD Ryzen AI MAX+ PRO 395 / Radeon 8060S
- Omarchy development packages: `omarchy-dev` and `omarchy-settings-dev` `4.0.0.r2304.g7b336b1-1`
- Hyprland `0.56.2`
- Foot `1.28.0`

### What's wrong?

After updating Omarchy, pressing `Super+C` in Foot behaves like `Ctrl+C` and interrupts the foreground command instead of copying. The existing Foot configuration still has the older clipboard bindings:

```ini
[key-bindings]
clipboard-copy=Control+Insert
primary-paste=none
clipboard-paste=Shift+Insert
```

Commit https://github.com/omacom/omarchy/commit/129c67e25a1ae0e054d13a2ccb1c5edb790aaf09 (September 22, "Add select all and standard terminal clipboard shortcuts") changed the terminal branch of the universal clipboard bindings:

- `Super+C`: `Ctrl+Insert` -> `Ctrl+Shift+C`
- `Super+V`: `Shift+Insert` -> `Ctrl+Shift+V`

The commit changes only `default/hypr/bindings/clipboard.lua`. I could not find a corresponding migration in the installed version to add the new chords to existing Foot configurations.

The current packaged Foot template already accepts both sets of shortcuts, but existing user configurations can still contain only the Insert bindings. With that configuration, Foot does not consume the new copy chord as a clipboard action and it reaches the foreground program as an interrupt. The paste binding has the same configuration mismatch.

This affects upgrades retaining those older Foot bindings; fresh installations using the current template should already have the required mappings.

### Steps to reproduce

1. Use Foot with the three `[key-bindings]` entries shown above.
2. Use Omarchy's clipboard bindings from commit `129c67e2` or later.
3. Open a new Foot window and run a disposable foreground command such as `sleep 60`.
4. Press `Super+C`.
5. Observe that the command is interrupted instead of the shortcut being handled as terminal copy.

Expected: `Super+C` copies Foot's terminal selection and does not interrupt the foreground command; `Super+V` pastes the clipboard.

### Evidence and local workaround

- The running Foot windows have the `terminal*` tag, including through `hl.get_active_window().tags`, so this is not a terminal-class detection failure.
- Hyprland reports the active `Super+C` binding as `Universal copy` and reports no configuration errors.
- Cached `omarchy-settings-dev` package `r2014.gf99d33a` uses the Insert chords. Package `r2256.gc3e67f5`, installed here on September 25, already uses the new Ctrl+Shift chords; `r2304.g7b336b1` retains them.
- The existing Foot config was last modified September 13, before the shortcut change.

I added the mappings from the current packaged template locally:

```ini
clipboard-copy=Control+Insert Control+Shift+c XF86Copy
primary-paste=none
clipboard-paste=Shift+Insert Control+Shift+v XF86Paste
```

`foot --check-config` passes. Existing Foot windows retain their startup configuration, so new windows are required to pick up these changes. Interactive confirmation of the workaround is still pending.

A targeted, idempotent migration that adds the missing copy/paste chords while preserving user customizations would address the upgrade path.

I checked the related reports: #12827 concerns keyboard selections inside TUIs, and #6379 concerns terminal tagging. This report concerns the new injected chords not matching an existing Foot configuration.

The documented `omarchy debug --no-sudo --print` command is unavailable in this installed development version ("Unknown Omarchy command"); relevant version and configuration diagnostics are included above.

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 19:55 UTC