From d2b26fae5cd0a4b497b4af26a29f1cd61f4c7501 Mon Sep 17 00:00:00 2001 From: Christopher Canel Date: Thu, 23 May 2024 16:29:18 +0000 Subject: [PATCH] Plumb version to command line arg in install_linux.sh --- linux/install_linux.sh | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/linux/install_linux.sh b/linux/install_linux.sh index 69f836f..0cffb4b 100755 --- a/linux/install_linux.sh +++ b/linux/install_linux.sh @@ -4,15 +4,17 @@ set -eoux pipefail if [ "$#" -ne 1 ]; then echo "ERROR: Illegal number of parameters." - echo "Usage: ./install_linux.sh
" + echo "Usage: ./install_linux.sh
" exit 255 fi main_dir="$1" - -version="5.15.107" +version="5.15.156" +if [ -z "$2" ]; then + version="$2" +fi DEBIAN_FRONTEND="noninteractive" sudo apt-get -y --no-install-recommends install \ -git \ + git \ fakeroot \ build-essential \ ncurses-dev \