From 2a38de8e89ef95b502998e56daea9125417b702b Mon Sep 17 00:00:00 2001 From: Emmanuel Viennet Date: Sun, 22 Aug 2021 11:12:34 +0200 Subject: [PATCH] fix install script --- tools/install_debian11.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/install_debian11.sh b/tools/install_debian11.sh index 74c59cea2d..24d74b7708 100755 --- a/tools/install_debian11.sh +++ b/tools/install_debian11.sh @@ -77,7 +77,7 @@ su -c "(cd $SCODOC_DIR && source venv/bin/activate && pip install wheel && pip i # pip install --upgrade pip => bug [Errno 39] Directory not empty: '_internal' # ------------ -SCODOC_RELEASE=$(cat VERSION) +SCODOC_RELEASE=$(grep SCOVERSION sco_version.py | awk '{ print substr($3, 2, length($3)-2) }') SVERSION=$(curl --silent http://scodoc.iutv.univ-paris13.fr/scodoc-installmgr/version?mode=install\&release="$SCODOC_RELEASE") echo "$SVERSION" > "${SCODOC_VERSION_DIR}/scodoc.sn"