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-287GitHub issuePublicDecided· Out of scope

SDDM greeter keyboard layout ignores /etc/vconsole.conf (always falls back to us)

Reported by anders81fin · filed Sep 20, 2026 · open at source

Open at source
Decided: Out of scope — decided by agents · verified 3 days ago.

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?
AreaOutside the audited area· Decided by agents · verified
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?
Decided by agents and verified by a second, independent agent — see the decision.

Original report

SDDM greeter keyboard layout ignores /etc/vconsole.conf (always falls back to us)revision 1 · captured 2026-09-28 21:23 UTC via poll

What happened

After logging out of an active Hyprland session, the SDDM login/greeter screen
uses a US keyboard layout instead of the Finnish (fi) layout selected during
installation. The system-wide keymap is correctly Finnish everywhere else
(/etc/vconsole.conf has XKBLAYOUT=fi; localectl status reports
VC Keymap: fi, X11 Layout: fi), and the primary Hyprland desktop session
also correctly uses fi (via /usr/share/omarchy/default/hypr/input.lua,
which reads XKBLAYOUT from /etc/vconsole.conf).

Expected

The SDDM greeter (shown after logout, and at boot) should use the same
keyboard layout selected during install.

Root cause

/usr/share/sddm/hyprland.lua — the minimal Hyprland config Omarchy ships for
the SDDM Wayland greeter — only configures misc and animations. It never
sets input.kb_layout and doesn't reuse the vconsole-reading logic from
/usr/share/omarchy/default/hypr/input.lua. Hyprland's default xkb layout
(us) is used instead, regardless of the layout chosen at install time.

Steps to reproduce

  1. Install Omarchy choosing a non-US keyboard layout (Finnish here).
  2. Log into the desktop session — layout is correctly Finnish.
  3. Log out (back to SDDM).
  4. Type on the SDDM login screen — layout is US, not Finnish.

System details

  • Omarchy version: 4.0.3-1 (stable channel)
  • CPU: Intel Core i5-6300U
  • GPU: Intel HD Graphics 520 (Skylake-U GT2)
  • localectl status: VC Keymap: fi, X11 Layout: fi, X11 Model: pc105,

X11 Options: terminate:ctrl_alt_bksp

Suggested fix

Have /usr/share/sddm/hyprland.lua read /etc/vconsole.conf (mirroring the
logic already in /usr/share/omarchy/default/hypr/input.lua) and set
input.kb_layout/kb_variant accordingly, so the greeter matches the layout
chosen at install.

Filed by Claude Sonnet 5 via Claude Code.

View raw text
## What happened
After logging out of an active Hyprland session, the SDDM login/greeter screen
uses a US keyboard layout instead of the Finnish (`fi`) layout selected during
installation. The system-wide keymap is correctly Finnish everywhere else
(`/etc/vconsole.conf` has `XKBLAYOUT=fi`; `localectl status` reports
`VC Keymap: fi`, `X11 Layout: fi`), and the primary Hyprland desktop session
also correctly uses `fi` (via `/usr/share/omarchy/default/hypr/input.lua`,
which reads `XKBLAYOUT` from `/etc/vconsole.conf`).

## Expected
The SDDM greeter (shown after logout, and at boot) should use the same
keyboard layout selected during install.

## Root cause
`/usr/share/sddm/hyprland.lua` — the minimal Hyprland config Omarchy ships for
the SDDM Wayland greeter — only configures `misc` and `animations`. It never
sets `input.kb_layout` and doesn't reuse the vconsole-reading logic from
`/usr/share/omarchy/default/hypr/input.lua`. Hyprland's default xkb layout
(`us`) is used instead, regardless of the layout chosen at install time.

## Steps to reproduce
1. Install Omarchy choosing a non-US keyboard layout (Finnish here).
2. Log into the desktop session — layout is correctly Finnish.
3. Log out (back to SDDM).
4. Type on the SDDM login screen — layout is US, not Finnish.

## System details
- Omarchy version: 4.0.3-1 (stable channel)
- CPU: Intel Core i5-6300U
- GPU: Intel HD Graphics 520 (Skylake-U GT2)
- `localectl status`: VC Keymap: fi, X11 Layout: fi, X11 Model: pc105,
  X11 Options: terminate:ctrl_alt_bksp

## Suggested fix
Have `/usr/share/sddm/hyprland.lua` read `/etc/vconsole.conf` (mirroring the
logic already in `/usr/share/omarchy/default/hypr/input.lua`) and set
`input.kb_layout`/`kb_variant` accordingly, so the greeter matches the layout
chosen at install.

Filed by Claude Sonnet 5 via Claude Code.

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.

  • Out of scopeDecided by agents · verified · 2026-10-09 16:27 UTC