Update CRUX distro name

CRUX has a binary called crux that print the distro name and the version (CRUX version 3.2 for example).
2026-06-19 16:00:47 +00:00 · 2016-03-17 14:32:57 +01:00
parent e2238176bd
commit 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)"