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.
Feature Request: Include Oh My Posh or Starship as default prompt options
Reported by tobiasz-p · filed Aug 12, 2025Closed upstream on 2025-08-13 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
Description
I’d like to suggest adding Oh My Posh or Starship as default prompt options/themes in the project. Both provide modern, highly customizable, and visually appealing shell prompts that work across multiple shells (bash, zsh, fish, PowerShell).
Why this would be beneficial
- Improved out-of-the-box experience with polished and informative prompts
- Broad shell compatibility (supports bash, zsh, PowerShell, and more)
- Easy customization with extensive theming options
- Active development and strong community support
Additional idea
A nice enhancement would be to customize the Oh My Posh or Starship themes to align with Omarcy themes, creating an even more cohesive and visually stunning Omakase setup. For example, Starship already includes many popular themes found in Omarcy such as Tokyo Night, Catppuccin, and Gruvbox, which would help unify the look and feel across the terminal and prompt.
Additional context
- Oh My Posh is compatible with both Bash and Zsh, making it versatile for many users.
- Starship is known for its speed, minimalism, and broad shell support.
- Including either (or both) as default options would give users a solid, attractive prompt setup without extra manual configuration.
Would love to see this considered in the roadmap!
Example themes
Starship
Tokyo Night
<img width="1732" height="1070" alt="Image" src="https://github.com/user-attachments/assets/b183af96-5a96-43b0-a00f-ec34d554f68d" />
Jetpack
<img width="2880" height="1800" alt="Image" src="https://github.com/user-attachments/assets/e5a03c9b-98ed-42f9-b855-6b3397d541bc" />
Oh My Posh
night-owl
<img width="3872" height="764" alt="Image" src="https://github.com/user-attachments/assets/147e5cbb-3087-4168-b6ab-7a98cd97af0c" />
glowsticks
<img width="3900" height="632" alt="Image" src="https://github.com/user-attachments/assets/d2605b9b-634b-4359-8251-b4802d5b8690" />
powerlevel10k_lean)
<img width="3676" height="632" alt="Image" src="https://github.com/user-attachments/assets/bf03b9db-5f36-4090-8a60-17037e34310b" />
View raw text
## Description I’d like to suggest adding **Oh My Posh** or **Starship** as default prompt options/themes in the project. Both provide modern, highly customizable, and visually appealing shell prompts that work across multiple shells (bash, zsh, fish, PowerShell). ## Why this would be beneficial - Improved out-of-the-box experience with polished and informative prompts - Broad shell compatibility (supports bash, zsh, PowerShell, and more) - Easy customization with extensive theming options - Active development and strong community support ## Additional idea A nice enhancement would be to customize the Oh My Posh or Starship themes to align with **Omarcy** themes, creating an even more cohesive and visually stunning **Omakase** setup. For example, Starship already includes many popular themes found in Omarcy such as **Tokyo Night**, **Catppuccin**, and **Gruvbox**, which would help unify the look and feel across the terminal and prompt. ## Additional context - Oh My Posh is compatible with both Bash and Zsh, making it versatile for many users. - Starship is known for its speed, minimalism, and broad shell support. - Including either (or both) as default options would give users a solid, attractive prompt setup without extra manual configuration. Would love to see this considered in the roadmap! ## Example themes ### Starship [Tokyo Night](https://starship.rs/presets/tokyo-night) <img width="1732" height="1070" alt="Image" src="https://github.com/user-attachments/assets/b183af96-5a96-43b0-a00f-ec34d554f68d" /> [Jetpack](https://starship.rs/presets/jetpack) <img width="2880" height="1800" alt="Image" src="https://github.com/user-attachments/assets/e5a03c9b-98ed-42f9-b855-6b3397d541bc" /> ### Oh My Posh [night-owl](https://ohmyposh.dev/docs/themes#night-owl) <img width="3872" height="764" alt="Image" src="https://github.com/user-attachments/assets/147e5cbb-3087-4168-b6ab-7a98cd97af0c" /> [glowsticks](https://ohmyposh.dev/docs/themes#glowsticks) <img width="3900" height="632" alt="Image" src="https://github.com/user-attachments/assets/d2605b9b-634b-4359-8251-b4802d5b8690" /> [powerlevel10k_lean)](https://ohmyposh.dev/docs/themes#powerlevel10k_lean) <img width="3676" height="632" alt="Image" src="https://github.com/user-attachments/assets/bf03b9db-5f36-4090-8a60-17037e34310b" />
- b183af96-5a96-43b0-a00f-ec34d554f68d
- e5a03c9b-98ed-42f9-b855-6b3397d541bc
- 147e5cbb-3087-4168-b6ab-7a98cd97af0c
- d2605b9b-634b-4359-8251-b4802d5b8690
- bf03b9db-5f36-4090-8a60-17037e34310b
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.