Johannes Altmanninger ae22cc93db webconfig themes: shell-friendly filenames ...

For historical reasons (namely the webconfig origin), our theme
names contain spaces and uppercase letters which can be inconvenient
when using the "fish_config theme choose" shell command.  Use more
conventional file names.

Web config still uses the pretty names, using the ubiquitous "# name:"
property.

2025-12-14 15:44:58 +01:00

27 KiB

Raw Blame History

View Raw