Merge pull request #157 from onodera-punpun/patch-1

Update CRUX distro name
2026-07-24 20:21:01 -05:00 · 2016-03-18 00:35:45 +11:00 · 2016-03-18 00:35:45 +11:00 · cf87ac5b49
commit cf87ac5b49
parent e2238176bd c4af2cf4ce
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -457,7 +457,7 @@ case "$os" in
            distro=${distro/[[:space:]]}

        elif type -p crux >/dev/null 2>&1; then
-            distro="CRUX"
+            distro="$(crux)"

        else
            distro="$(grep -h '^NAME=' /etc/*ease)"