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

dip kills unrelated processes: pkill -f pattern is unanchored and matches any command line

Reported by nocstah · filed Aug 29, 2026 · open at source

Decided: Out of scope — decided by agents · verified 4 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

dip kills unrelated processes: pkill -f pattern is unanchored and matches any command linerevision 1 · captured 2026-09-28 21:24 UTC via poll

What happened

dip <port> can kill processes that are not SSH port forwards — including the shell it was typed in.

Cause

In default/bash/fns/ssh-port-forwarding, dip() runs:

pkill -f "ssh.*-L ${port}:localhost:${port}" && echo "Stopped forwarding port $port" || echo "No forwarding on port $port"

pkill -f matches the pattern against the full command line of every process on the system, not just ssh processes. The pattern is unanchored, so any process whose command line happens to contain that text is killed too.

This is easy to hit unintentionally: a shell running a script that mentions the port, an editor with the string in its arguments, or a terminal whose command line includes the forwarding spec will all match.

What was expected

Only the SSH forward for that port is terminated.

Steps to reproduce

# A process that is not ssh but whose command line contains the pattern
bash -c "exec -a 'notssh -L 9000:localhost:9000' sleep 300" &

dip 9000
# -> reports "Stopped forwarding port 9000" and kills the unrelated process

I hit this for real while testing: dip matched the shell running the test — whose command line contained the port string — and killed it.

Fix

Anchor the pattern to an actual ssh process:

pkill -f "^([^ ]*/)?ssh .*-L ${port}:localhost:${port}"

lip() has the same unanchored pattern and will likewise list unrelated processes; the same anchor applies:

pgrep -af "^([^ ]*/)?ssh .*-L [0-9]+:localhost:[0-9]+"

Verified: with the anchor, a decoy process carrying the same text in its command line survives while the real forward is stopped.

System

  • Omarchy 4.0.1-1
  • /usr/share/omarchy/default/bash/fns/ssh-port-forwarding, line 14
View raw text
## What happened

`dip <port>` can kill processes that are not SSH port forwards — including the shell it was typed in.

## Cause

In `default/bash/fns/ssh-port-forwarding`, `dip()` runs:

```bash
pkill -f "ssh.*-L ${port}:localhost:${port}" && echo "Stopped forwarding port $port" || echo "No forwarding on port $port"
```

`pkill -f` matches the pattern against the **full command line of every process on the system**, not just `ssh` processes. The pattern is unanchored, so any process whose command line happens to contain that text is killed too.

This is easy to hit unintentionally: a shell running a script that mentions the port, an editor with the string in its arguments, or a terminal whose command line includes the forwarding spec will all match.

## What was expected

Only the SSH forward for that port is terminated.

## Steps to reproduce

```bash
# A process that is not ssh but whose command line contains the pattern
bash -c "exec -a 'notssh -L 9000:localhost:9000' sleep 300" &

dip 9000
# -> reports "Stopped forwarding port 9000" and kills the unrelated process
```

I hit this for real while testing: `dip` matched the shell running the test — whose command line contained the port string — and killed it.

## Fix

Anchor the pattern to an actual `ssh` process:

```bash
pkill -f "^([^ ]*/)?ssh .*-L ${port}:localhost:${port}"
```

`lip()` has the same unanchored pattern and will likewise list unrelated processes; the same anchor applies:

```bash
pgrep -af "^([^ ]*/)?ssh .*-L [0-9]+:localhost:[0-9]+"
```

Verified: with the anchor, a decoy process carrying the same text in its command line survives while the real forward is stopped.

## System

- Omarchy 4.0.1-1
- `/usr/share/omarchy/default/bash/fns/ssh-port-forwarding`, line 14

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 09:52 UTC