distr_info: set pretty name if PRETTY_NAME is empty

f691e138 · Vitaly Lipatov · 10c88e0e · f691e138
Commit f691e138 authored Jan 06, 2021 by Vitaly Lipatov
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

distr_info bin/distr_info +3 -0

No files found.
--- a/bin/distr_info
+++ b/bin/distr_info
@@ -324,8 +324,11 @@ elif [ "$(uname -o 2>/dev/null)" = "Cygwin" ] ; then
        DISTRIB_RELEASE="all"
 fi

+if [ -z "$PRETTY_NAME" ] ; then
+	PRETTY_NAME="$DISTRIB_ID $DISTRIB_RELEASE"
 fi

+
 get_uname()
 {
    tolower $(uname $1) | tr -d " \t\r\n"