From 000c0c5905624336d93ca9ef66a52c2f5b350718 Mon Sep 17 00:00:00 2001 From: Julian Oes Date: Wed, 15 Jul 2020 11:00:19 +0200 Subject: [PATCH] setup: mark Ubuntu 16.04 as unsupported Ubuntu was already unsupported, now that 20.04 is out, however, the change was not reflected yet in this script. --- Tools/setup/ubuntu.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Tools/setup/ubuntu.sh b/Tools/setup/ubuntu.sh index a4bd951212..a0775ba41b 100755 --- a/Tools/setup/ubuntu.sh +++ b/Tools/setup/ubuntu.sh @@ -53,15 +53,15 @@ fi # check ubuntu version -# instructions for 16.04, 18.04, 20.04 # otherwise warn and point to docker? UBUNTU_RELEASE="`lsb_release -rs`" if [[ "${UBUNTU_RELEASE}" == "14.04" ]]; then - echo "Ubuntu 14.04 unsupported, see docker px4io/px4-dev-base" + echo "Ubuntu 14.04 is no longer supported" exit 1 elif [[ "${UBUNTU_RELEASE}" == "16.04" ]]; then - echo "Ubuntu 16.04" + echo "Ubuntu 16.04 is no longer supported" + exit 1 elif [[ "${UBUNTU_RELEASE}" == "18.04" ]]; then echo "Ubuntu 18.04" elif [[ "${UBUNTU_RELEASE}" == "20.04" ]]; then