From c9b2b90681776366f9476f8ec6550bc0587a61a5 Mon Sep 17 00:00:00 2001 From: Adeeb Shihadeh Date: Tue, 16 Nov 2021 14:30:51 -0800 Subject: [PATCH] ubuntu_setup.sh: add option to continue on unsupported os old-commit-hash: 0674726cf4e0dfffc30d4596e2c650821b792588 --- tools/ubuntu_setup.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) 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"