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

SUPER+ENTER abre terminal no cwd de um processo auxiliar da janela focada (ex: download do Edge em ~/Downloads)

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

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+ENTER abre terminal no cwd de um processo auxiliar da janela focada (ex: download do Edge em ~/Downloads)revision 1 · captured 2026-09-28 21:23 UTC via poll

Bug: SUPER+ENTER abre terminal em ~/Downloads quando uma janela que não é terminal está focada

Resumo

Ao pressionar SUPER+RETURN com uma janela que não é um terminal em foco (ex.: um navegador), o novo terminal abre no diretório errado (~/Downloads) em vez de $HOME.

Causa raiz

O helper omarchy-cmd-terminal-cwd (usado por omarchy-launch-terminal, vinculado a SUPER+RETURN) decide o diretório de trabalho do novo terminal inspecionando a janela atualmente focada, independentemente de ela ser um terminal:

terminal_pid=$(hyprctl activewindow | awk '/pid:/ {print $2}')
...
shell_pid=$(pgrep -P "$terminal_pid" | tail -n1)
cwd=$(readlink -f "/proc/$shell_pid/cwd")
shell=$(readlink -f "/proc/$shell_pid/exe")
grep -Fqsx "$shell" /etc/shells || cwd=""

A única validação é que o processo filho da janela focada tenha exe listado em /etc/shells. Ele não confirma que a janela focada é um terminal.

Reproduzido: com o Microsoft Edge focado (aba "Download Superset"), o Edge mantinha um processo filho bash cujo cwd era /home/yagomoreira/Downloads (helper de download do navegador). Esse bash foi confundido com "o shell do terminal ativo", e o SUPER+ENTER passou a abrir terminais em ~/Downloads.

Resultado esperado

Quando a janela focada não é um terminal (ou o processo filho não é o shell primário de um terminal), o diretório deve cair em $HOME, não no cwd de um processo auxiliar qualquer do app focado.

Passos para reproduzir

  1. Iniciar um download no Edge (deixa o processo bash helper ativo com cwd = diretório de downloads).
  2. Focar a janela do Edge (sem nenhum terminal focado).
  3. Pressionar SUPER+RETURN.
  4. O terminal abre em ~/Downloads em vez de ~/.

Detalhes do sistema

  • Omarchy: 4.0.2-1
  • SO: Omarchy (Arch) — kernel 7.1.9-arch1-2
  • CPU: AMD Ryzen 5 5500
  • GPU: AMD/ATI Radeon RX 9060 XT (Navi 44)
View raw text
## Bug: `SUPER+ENTER` abre terminal em `~/Downloads` quando uma janela que não é terminal está focada

### Resumo
Ao pressionar `SUPER+RETURN` com uma janela que **não é um terminal** em foco (ex.: um navegador), o novo terminal abre no diretório errado (`~/Downloads`) em vez de `$HOME`.

### Causa raiz
O helper `omarchy-cmd-terminal-cwd` (usado por `omarchy-launch-terminal`, vinculado a `SUPER+RETURN`) decide o diretório de trabalho do novo terminal inspecionando a janela atualmente **focada**, independentemente de ela ser um terminal:

```bash
terminal_pid=$(hyprctl activewindow | awk '/pid:/ {print $2}')
...
shell_pid=$(pgrep -P "$terminal_pid" | tail -n1)
cwd=$(readlink -f "/proc/$shell_pid/cwd")
shell=$(readlink -f "/proc/$shell_pid/exe")
grep -Fqsx "$shell" /etc/shells || cwd=""
```

A única validação é que o processo filho da janela focada tenha `exe` listado em `/etc/shells`. Ele **não** confirma que a janela focada é um terminal.

Reproduzido: com o **Microsoft Edge** focado (aba "Download Superset"), o Edge mantinha um processo filho `bash` cujo `cwd` era `/home/yagomoreira/Downloads` (helper de download do navegador). Esse `bash` foi confundido com "o shell do terminal ativo", e o `SUPER+ENTER` passou a abrir terminais em `~/Downloads`.

### Resultado esperado
Quando a janela focada **não é um terminal** (ou o processo filho não é o shell primário de um terminal), o diretório deve cair em `$HOME`, não no `cwd` de um processo auxiliar qualquer do app focado.

### Passos para reproduzir
1. Iniciar um download no Edge (deixa o processo `bash` helper ativo com `cwd` = diretório de downloads).
2. Focar a janela do Edge (sem nenhum terminal focado).
3. Pressionar `SUPER+RETURN`.
4. O terminal abre em `~/Downloads` em vez de `~/`.

### Detalhes do sistema
- Omarchy: `4.0.2-1`
- SO: Omarchy (Arch) — kernel `7.1.9-arch1-2`
- CPU: AMD Ryzen 5 5500
- GPU: AMD/ATI Radeon RX 9060 XT (Navi 44)

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 11:11 UTC