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

switch yay -S … package lists to a single array for readability and future growth

Reported by t0gun · filed Jul 17, 2025Closed upstream on 2025-07-17 by dhh. GitHub close reason: completed. No closing PR or commit is recorded — "completed" alone is not evidence of a fix.

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

switch yay -S … package lists to a single array for readability and future growthrevision 1 · captured 2026-10-04 11:26 UTC via poll

I noticed some of the install scripts install/*sh hard wraps yay -S command with backslashes. here is an example from install/3‑terminal.sh:

yay -S --noconfirm --needed \
  wget curl unzip inetutils impala \
  fd eza fzf ripgrep zoxide bat \
  wl-clipboard fastfetch btop \
  man tldr less whois plocate bash-completion \
  alacritty

Why this is sub optimal:
- Adding a package means hunting for the trailing back‑slash or risking a missing one.
- Inline comments cannot be added per package without splitting the command even further
- Diffs are noisy when you add or remove tools.

Here is my Proposal:
- we declare package as a bash array
- Expand with "${pkgs[@]}".
- we can keep one liner comments to explain why a tool is present. this is optional but can help new comers.

below is a sample rewrite:

pkgs=(
  wget            # file downloads
  curl            # HTTP client
  unzip           # ZIP extractor
  iputils         # ping, arping
  alacritty       # GPU terminal
# add more packages if needed.
)

yay -S --noconfirm --needed "${pkgs[@]}"

Trade offs:
- Scripts gain a few lines of boilerplate.
- Diverges from the current style.

Next Steps:
If you’re OK with the change, I’ll open a pilot PR for install/3-terminal.sh.
If merged, I’ll migrate the rest in small, focused PRs.

Thanks for considering.

View raw text
I noticed some of the install scripts `install/*sh` hard wraps  `yay -S` command with backslashes. here is an example from ` install/3‑terminal.sh`:

```sh
yay -S --noconfirm --needed \
  wget curl unzip inetutils impala \
  fd eza fzf ripgrep zoxide bat \
  wl-clipboard fastfetch btop \
  man tldr less whois plocate bash-completion \
  alacritty
```

 **Why this is sub optimal**:
- Adding a package means hunting for the trailing back‑slash or risking a missing one.
- Inline comments cannot be added per package without splitting the command even further
- Diffs are noisy when you add or remove tools.

**Here is my Proposal**:
- we declare package as a bash array 
- Expand with "${pkgs[@]}".
- we can keep one liner comments to explain why a tool is present. this is optional but can help new comers.

below is a sample rewrite:

```sh
pkgs=(
  wget            # file downloads
  curl            # HTTP client
  unzip           # ZIP extractor
  iputils         # ping, arping
  alacritty       # GPU terminal
# add more packages if needed.
)

yay -S --noconfirm --needed "${pkgs[@]}"
```

**Trade offs**:
- Scripts gain a few lines of boilerplate.
- Diverges from the current style.


**Next Steps**:
If you’re OK with the change, I’ll open a pilot PR for install/3-terminal.sh.
If merged, I’ll migrate the rest in small, focused PRs.

Thanks for considering.

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.