From 5ff44a22959839296ebd8b8c48ab4f6fc07f4924 Mon Sep 17 00:00:00 2001 From: Benjamin Date: Wed, 25 May 2022 19:07:15 -0400 Subject: [PATCH] Update ubuntu.sh to Jammy --- 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 25c12cb170..4cbd572003 100755 --- a/Tools/setup/ubuntu.sh +++ b/Tools/setup/ubuntu.sh @@ -67,6 +67,8 @@ elif [[ "${UBUNTU_RELEASE}" == "18.04" ]]; then echo "Ubuntu 18.04" elif [[ "${UBUNTU_RELEASE}" == "20.04" ]]; then echo "Ubuntu 20.04" +elif [[ "${UBUNTU_RELEASE}" == "22.04" ]]; then + echo "Ubuntu 22.04" fi @@ -146,7 +148,7 @@ if [[ $INSTALL_NUTTX == "true" ]]; then util-linux \ vim-common \ ; - if [[ "${UBUNTU_RELEASE}" == "20.04" ]]; then + if [[ "${UBUNTU_RELEASE}" == "20.04" || "${UBUNTU_RELEASE}" == "22.04" ]]; then sudo DEBIAN_FRONTEND=noninteractive apt-get -y --quiet --no-install-recommends install \ kconfig-frontends \ ;