install.sh: add bullseye to the standard development machines
Warning, cannot access the index:
_darcs/index: opening of '_darcs/index' failed: permission denied (Permission denied)
diff -rN -u old-bii_scripts/install.sh new-bii_scripts/install.sh
--- old-bii_scripts/install.sh 2022-09-26 05:33:28.839532630 +0200
+++ new-bii_scripts/install.sh 2022-09-26 05:33:28.839532630 +0200
@@ -3,7 +3,7 @@
HOSTNAME=$(hostname -f)
if [ -z "$1" ]; then
- if echo $HOSTNAME| grep '\(elbe\|stretch\)\.acc\.bessy\.de' -q ; then
+ if echo $HOSTNAME| grep -E '(elbe|stretch|bullseye)\.acc\.bessy\.de' -q ; then
SHORTHOST=$(echo $HOSTNAME | sed -e 's/\..*//')
echo "darcs pull is executed in order to prevent"
echo "you from installing old program versions by accident"
patch 5b8b5a0fc097c4fb36aecd92f9dac7848cf5f08e
Author: Ben Franksen <benjamin.franksen@helmholtz-berlin.de>
Date: Tue May 24 10:48:50 CEST 2022
* install.sh: add bullseye to the standard development machine