diff --git a/tools/ubuntu_setup.sh b/tools/ubuntu_setup.sh index a7eaa98768..6ad7931b56 100755 --- a/tools/ubuntu_setup.sh +++ b/tools/ubuntu_setup.sh @@ -104,7 +104,12 @@ if [ -f "/etc/os-release" ]; then ;; *) echo "$ID $VERSION_ID is unsupported. This setup script is written for Ubuntu 20.04." - exit 1 + read -p "Would you like to attempt installation anyway? " -n 1 -r + echo "" + if [[ ! $REPLY =~ ^[Yy]$ ]]; then + exit 1 + fi + install_ubuntu_lts_requirements esac else echo "No /etc/os-release in the system"