]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #2927 from DaanDeMeyer/home
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Mon, 29 Jul 2024 19:13:58 +0000 (21:13 +0200)
committerGitHub <noreply@github.com>
Mon, 29 Jul 2024 19:13:58 +0000 (21:13 +0200)
Check for $HOME environment variable as well


Trivial merge