Skip to content

D
distro_info
Commit 0e15e15b authored by Vitaly Lipatov's avatar Vitaly Lipatov
Browse files
Options

distro_info: set pretty name if PRETTY_NAME is empty

parent 295a58bb
Hide whitespace changes
Inline Side-by-side
Showing with 3 additions and 0 deletions
bin/distro_info
View file @ 0e15e15b
...@@ -324,8 +324,11 @@ elif [ "$(uname -o 2>/dev/null)" = "Cygwin" ] ; then ...@@ -324,8 +324,11 @@ elif [ "$(uname -o 2>/dev/null)" = "Cygwin" ] ; then
DISTRIB_RELEASE="all" DISTRIB_RELEASE="all"
fi fi
if [ -z "$PRETTY_NAME" ] ; then
PRETTY_NAME="$DISTRIB_ID $DISTRIB_RELEASE"
fi fi
get_uname() get_uname()
{ {
tolower $(uname $1) | tr -d " \t\r\n" tolower $(uname $1) | tr -d " \t\r\n"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment