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

Flatpaks not recognized in Wofi

Reported by pelephant2 · filed Jul 19, 2025Closed upstream on 2025-07-20 by dhh; the closing comment says it was fixed by PR #218. GitHub close reason: completed.

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

Flatpaks not recognized in Wofirevision 1 · captured 2026-10-04 11:26 UTC via poll

Why won't Wofi identify Flatpak or Snap installs in Omarchy?

I can install either and start them from the Alacritty CLI and they will open. However searching them in Wofi comes up blank. I went to the ArchWiki and ended up doing this:

export XDG_DATA_DIRS="$HOME/.local/share/flatpak/exports/share/applications:/var/lib/flatpak/exports/share/applications:$XDG_DATA_DIRS"

followed by a reboot of the system. Unfortunately, Wofi still won't recognize Flatpaks or Snaps. I can see here that Flatpaks (and presumaby Snaps) are not preferred in Omarchy but I like them for two reasons:
1. They're often the official package deployment for whatever application you're downloading
2. They have permissions systems

So, what do I do to get Wofi to recognize Flatpak and Snap installs in Omarchy?

View raw text
Why won't Wofi identify Flatpak or Snap installs in Omarchy?

I can install either and start them from the Alacritty CLI and they will open. However searching them in Wofi comes up blank. I went to the [ArchWiki](https://wiki.archlinux.org/title/Flatpak) and ended up doing this:

```
export XDG_DATA_DIRS="$HOME/.local/share/flatpak/exports/share/applications:/var/lib/flatpak/exports/share/applications:$XDG_DATA_DIRS"
```

followed by a reboot of the system. Unfortunately, Wofi still won't recognize Flatpaks or Snaps. [I can see here](https://github.com/basecamp/omarchy/issues/38) that Flatpaks (and presumaby Snaps) are not preferred in Omarchy but I like them for two reasons:
1. They're often the official package deployment for whatever application you're downloading
2. They have permissions systems 

So, what do I do to get Wofi to recognize Flatpak and Snap installs in Omarchy?

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.