Expand description
“Disable the splash” preference, resolved by the launcher before it spawns
the splash (and before the host/srv exist), per
SPEC_SPLASH_USERINFO_AND_DISABLE_2026_06_21.md §6.
Precedence: env override wins; otherwise settings.json "splash:disabled".
Fail-safe: any error reading/parsing settings resolves to enabled — a
broken read must never silently suppress the splash.
Functions§
- config_
dir 🔒 - Best-effort config dir (holds settings.json) resolved the same way
launcher_maindoes — but early and failure-tolerant. - env_
override 🔒 Some(true)= disable,Some(false)= force-enable,None= no opinion.- settings_
splash_ disabled - Read
"splash:disabled"(flatnamespace:key) from a settings.json file. Missing file / parse error / missing key →false(enabled). - splash_
disabled - True when the splash should be suppressed entirely (no window created).
- truthy 🔒