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. So far: matches no known issue — decided by agents · verified. The outcome (valid, duplicate, not a bug, …) is not decided yet. See the decision.

Original report

❯ find /usr/share/applications ~/.local/share/applications -name "*Alacritty*"
❯ rm /home/danielm/.local/share/applications/Alacritty.desktop

### System details

Omarch 3.2.0

### What's wrong?

After moving to Ghostty, I uninstalled Alacritty using the "Remove > Package" function. However, the app still shows up on the list, just with a weird icon, even after rebooting:

<img width="658" height="412" alt="Image" src="https://github.com/user-attachments/assets/6d0532b5-1d0e-4cf9-a20c-30c3e092691e" />

This seems to have been reported multiple times before: https://github.com/basecamp/omarchy/issues/2115, https://github.com/basecamp/omarchy/issues/850.

The suggestion mentioned in https://github.com/basecamp/omarchy/issues/850 worked for me:

```
❯ find /usr/share/applications ~/.local/share/applications -name "*Alacritty*"
❯ rm /home/danielm/.local/share/applications/Alacritty.desktop
```

In that second ticket it is mentioned that this is not a Omarchy bug, but a problem with the app's uninstall process. Nevertheless, if default Omarchy apps can't be correctly uninstalled with the recommended removal mechanism, I believe this is something Omarchy should fix.

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

• Related PRpr/6972· confirmed

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 13:27 UTC · withdrawn