# prompt config export PR_OS_NAME=$(uname -s) export PR_OS_ARCH=$(uname -m) if [ -f /etc/debian_version ]; then PR_OS_NAME="Debian GNU/${PR_OS_NAME} $(