From 8804dae4808ebcb849c02b78b446ea01f4aa45ad Mon Sep 17 00:00:00 2001 From: Hamish Willee Date: Tue, 12 May 2020 14:06:02 +1000 Subject: [PATCH] Ubuntu.sh - report Ubuntu 20.04 in setup --- Tools/setup/ubuntu.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Tools/setup/ubuntu.sh b/Tools/setup/ubuntu.sh index deaa2a56fa..9055f7f8e8 100755 --- a/Tools/setup/ubuntu.sh +++ b/Tools/setup/ubuntu.sh @@ -53,7 +53,7 @@ fi # check ubuntu version -# instructions for 16.04, 18.04 +# instructions for 16.04, 18.04, 20.04 # otherwise warn and point to docker? UBUNTU_RELEASE=`lsb_release -rs` @@ -64,6 +64,8 @@ elif [[ "${UBUNTU_RELEASE}" == "16.04" ]]; then echo "Ubuntu 16.04" elif [[ "${UBUNTU_RELEASE}" == "18.04" ]]; then echo "Ubuntu 18.04" +elif [[ "${UBUNTU_RELEASE}" == "20.04" ]]; then + echo "Ubuntu 20.04" fi