diff options
| author | Danilo M. <danix@danix.xyz> | 2026-09-29 10:40:57 +0200 |
|---|---|---|
| committer | Danilo M. <danix@danix.xyz> | 2026-09-29 10:40:57 +0200 |
| commit | a955a93101aae45bca030c4ea9074ddda86a2fc9 (patch) | |
| tree | 6ed641634a51eca252d5912de7593f9f8f2347e8 /theme.txt.in | |
| parent | a08ffb69ac7553350e1e5259bb0101ea997a70ae (diff) | |
| download | grub-theme-udt-a955a93101aae45bca030c4ea9074ddda86a2fc9.tar.gz grub-theme-udt-a955a93101aae45bca030c4ea9074ddda86a2fc9.zip | |
Title the panel with the machine's pretty name
Read PRETTY_HOSTNAME from /etc/machine-info, falling back to NAME from
/etc/os-release. The name stays on the machine rather than in the repo.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Diffstat (limited to 'theme.txt.in')
| -rw-r--r-- | theme.txt.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/theme.txt.in b/theme.txt.in index 173077d..e327445 100644 --- a/theme.txt.in +++ b/theme.txt.in @@ -18,7 +18,8 @@ terminal-width: "100%" terminal-height: "100%" terminal-border: "0" -# %TITLE% is filled in by ./build from /etc/os-release. +# %TITLE% is filled in by ./build: PRETTY_HOSTNAME from /etc/machine-info, +# else NAME from /etc/os-release. + label { left = 3% top = 8% |