2022-12-29 18:13:09 +08:00
|
|
|
#!/usr/bin/env bash
|
2022-01-07 16:30:56 +08:00
|
|
|
|
|
|
|
## This script prints Linux distro name and its version number
|
|
|
|
## e.g. macos, centos8, ubuntu20.04
|
|
|
|
|
|
|
|
set -euo pipefail
|
|
|
|
|
2022-12-29 18:13:09 +08:00
|
|
|
UNAME="$(uname -s)"
|
|
|
|
|
|
|
|
case "$UNAME" in
|
|
|
|
Darwin)
|
|
|
|
DIST='macos'
|
|
|
|
VERSION_ID="$(sw_vers | grep 'ProductVersion' | cut -d ':' -f2 | cut -d'.' -f1 | tr -d ' \t')"
|
|
|
|
SYSTEM="${DIST}${VERSION_ID}"
|
|
|
|
;;
|
|
|
|
Linux)
|
|
|
|
if grep -q -i 'rhel' /etc/*-release; then
|
|
|
|
DIST='el'
|
|
|
|
VERSION_ID="$(rpm --eval '%{rhel}')"
|
|
|
|
elif grep -q -i 'centos' /etc/*-release; then
|
|
|
|
DIST='centos'
|
|
|
|
VERSION_ID="$(rpm --eval '%{centos_ver}')"
|
|
|
|
else
|
|
|
|
DIST="$(sed -n '/^ID=/p' /etc/os-release | sed -r 's/ID=(.*)/\1/g' | sed 's/"//g')"
|
|
|
|
VERSION_ID="$(sed -n '/^VERSION_ID=/p' /etc/os-release | sed -r 's/VERSION_ID=(.*)/\1/g' | sed 's/"//g')"
|
|
|
|
fi
|
|
|
|
SYSTEM="$(echo "${DIST}${VERSION_ID}" | sed -r 's/([a-zA-Z]*)-.*/\1/g')"
|
|
|
|
;;
|
|
|
|
CYGWIN*|MSYS*|MINGW*)
|
|
|
|
SYSTEM="windows"
|
|
|
|
;;
|
|
|
|
esac
|
|
|
|
echo "$SYSTEM"
|