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.
LibreOffice in Omarchy 3.0.1: Spell checker not working by default (Hunspell not enabled)
Reported by ablzh · filed Sep 24, 2025Closed upstream on 2026-02-01. 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
Omarchy OS: v3.0.1 LibreOffice: default version shipped with the distribution Tested on two laptops → same behavior
What's wrong?
After installing Omarchy v3.0.1 on two different laptops, I noticed the same issue with LibreOffice Writer: spell checking does not work out of the box.
Even though several user dictionaries (e.g. en-GB, en-US) appear to be listed under Tools → Options → Language Settings → Writing Aids, the spell checker reports:
No dictionary available
when running Tools → Spelling.
Looking at Language Settings → Writing Aids → Available Language Modules, there are no modules enabled by default (Hunspell SpellChecker is missing).
Steps to Reproduce:
- Install Omarchy 3.0.1 via ISO (fresh system).
- Open LibreOffice Writer.
- Go to Tools → Spelling.
- Observe the error: “No dictionary available”.
- Typos in the text will also not be highlighted, since the spell checker does not work.
Expected Behavior
LibreOffice should ship with Hunspell SpellChecker enabled by default, so that basic spell checking works immediately after installation.
Actual Behavior
- No spell checker is available.
- Dictionaries are shown in Writing Aids, but without Hunspell they are not functional.
- Running a spell check produces “No dictionary available”.
Solving the problem
A simple workaround is:
- Open Tools → Options → Language Settings → Writing Aids.
- Scroll to the bottom, click Get more dictionaries online….
- Install English Dictionary (the first one on the list).
- LibreOffice may freeze briefly (needs Wait instead of Terminate).
- After installation, Hunspell SpellChecker appears in Available Language Modules and spell checking works normally.
Notes
This seems reproducible on a fresh install, so it may affect all users. Please confirm if this is a general packaging issue. If so, it might be better to ensure Hunspell (and at least one dictionary) is included by default in Omarchy builds, so spell checking works out of the box.
Link to the image with steps to solve the problems.
Since it is large, I did not display it immediately in the text.
View raw text
### System details Omarchy OS: v3.0.1 LibreOffice: default version shipped with the distribution Tested on two laptops → same behavior ### What's wrong? After installing Omarchy v3.0.1 on two different laptops, I noticed the same issue with LibreOffice Writer: spell checking does not work out of the box. Even though several user dictionaries (e.g. en-GB, en-US) appear to be listed under Tools → Options → Language Settings → Writing Aids, the spell checker reports: > No dictionary available when running Tools → Spelling. Looking at Language Settings → Writing Aids → Available Language Modules, there are no modules enabled by default (Hunspell SpellChecker is missing). **Steps to Reproduce:** 1. Install Omarchy 3.0.1 via ISO (fresh system). 2. Open LibreOffice Writer. 3. Go to Tools → Spelling. 4. Observe the error: “No dictionary available”. 5. Typos in the text will also not be highlighted, since the spell checker does not work. **Expected Behavior** LibreOffice should ship with Hunspell SpellChecker enabled by default, so that basic spell checking works immediately after installation. ### Actual Behavior - No spell checker is available. - Dictionaries are shown in Writing Aids, but without Hunspell they are not functional. - Running a spell check produces “No dictionary available”. ### Solving the problem A simple workaround is: 1. Open Tools → Options → Language Settings → Writing Aids. 2. Scroll to the bottom, click Get more dictionaries online…. 3. Install English Dictionary (the first one on the list). 4. LibreOffice may freeze briefly (needs Wait instead of Terminate). 5. After installation, Hunspell SpellChecker appears in Available Language Modules and spell checking works normally. ### Notes This seems reproducible on a fresh install, so it may affect all users. Please confirm if this is a general packaging issue. If so, it might be better to ensure Hunspell (and at least one dictionary) is included by default in Omarchy builds, so spell checking works out of the box. [Link to the image with steps to solve the problems.](https://github.com/user-attachments/assets/7fe35709-8fb4-40f9-a261-ac3d3f340482) Since it is large, I did not display it immediately in the text.
- Link to the image with steps to solve the problems.
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.