# prompt config export PR_OS_NAME=$(uname -s) export PR_OS_ARCH=$(uname -m) if [ -f /etc/debian_version ]; then echo $PR_OS_NAME | grep -i linux >/dev/null 2>&1 if [ $? = 0 ]; then PR_OS_NAME="Debian GNU/${PR_OS_NAME}" else PR_OS_NAME="Debian ${PR_OS_NAME}" fi debian_version=$(