Proof Portal
Omarchy
ProbeLabs65 findings · 95 requirementsA 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.
Bluetooth audio not working on fresh install — missing PipeWire packages
Reported by PedroVMota · filed Mar 28, 2026Closed upstream on 2026-07-18 by dhh. GitHub close reason: completed. No closing PR or commit is recorded — "completed" alone is not evidence of a fix.
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
System details
AMD Ryzen 7 9700X 8-Core Processor | eForce RTX 5060 Ti
What's wrong?
Bluetooth audio not working on fresh install — missing PipeWire packages
Describe the bug
On a fresh Omarchy installation, Bluetooth audio devices (headphones/headsets) are paired and connected via bluetoothctl but do not appear in PipeWire as audio sinks or sources. The audio output/input UI shows no Bluetooth devices.
Steps to reproduce
- Fresh Omarchy install
- Pair and connect a Bluetooth audio device via
bluetoothctl - Run
pactl list cards short— Bluetooth device is absent - Run
pactl list modules short | grep -i blue— PipeWire Bluetooth module is not loaded
Root cause
The following PipeWire packages are not included in the default Omarchy installation:
pipewire-pulsepipewire-alsapipewire-audio
Only pipewire and libpipewire are installed out of the box, which is insufficient for Bluetooth audio support.
Fix
sudo pacman -S pipewire-pulse pipewire-alsa pipewire-audio
systemctl --user restart pipewire pipewire-pulse wireplumberAfter this, reconnecting the Bluetooth device makes it appear correctly in PipeWire and the audio UI.
Environment
| Package | Version |
|---|---|
| PipeWire | 1.6.2 |
| WirePlumber | 0.5.13 |
| bluez | 5.86 |
| Omarchy | fresh install |
Expected behavior
Bluetooth audio devices should work out of the box on a fresh Omarchy install.
Additional context
Device tested: Sony ULT WEAR — presents Audio Sink, Headset, and Handsfree profiles via bluetoothctl info.
View raw text
### System details AMD Ryzen 7 9700X 8-Core Processor | eForce RTX 5060 Ti ### What's wrong? # Bluetooth audio not working on fresh install — missing PipeWire packages ## Describe the bug On a fresh Omarchy installation, Bluetooth audio devices (headphones/headsets) are paired and connected via `bluetoothctl` but do not appear in PipeWire as audio sinks or sources. The audio output/input UI shows no Bluetooth devices. ## Steps to reproduce 1. Fresh Omarchy install 2. Pair and connect a Bluetooth audio device via `bluetoothctl` 3. Run `pactl list cards short` — Bluetooth device is absent 4. Run `pactl list modules short | grep -i blue` — PipeWire Bluetooth module is not loaded ## Root cause The following PipeWire packages are not included in the default Omarchy installation: - `pipewire-pulse` - `pipewire-alsa` - `pipewire-audio` Only `pipewire` and `libpipewire` are installed out of the box, which is insufficient for Bluetooth audio support. ## Fix ```bash sudo pacman -S pipewire-pulse pipewire-alsa pipewire-audio systemctl --user restart pipewire pipewire-pulse wireplumber ``` After this, reconnecting the Bluetooth device makes it appear correctly in PipeWire and the audio UI. ## Environment | Package | Version | |--------------|---------| | PipeWire | 1.6.2 | | WirePlumber | 0.5.13 | | bluez | 5.86 | | Omarchy | fresh install | ## Expected behavior Bluetooth audio devices should work out of the box on a fresh Omarchy install. ## Additional context Device tested: **Sony ULT WEAR** — presents Audio Sink, Headset, and Handsfree profiles via `bluetoothctl info`.
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.