diff --git a/openbis_all/source/bash/copy-zips-to-servers.sh b/openbis_all/source/bash/copy-zips-to-servers.sh index 9b3a02b8f220c0833a3ed10382709bf40cb91cc7..26bf4231ceb40a1775a6fc36fa55851d2adc828d 100644 --- a/openbis_all/source/bash/copy-zips-to-servers.sh +++ b/openbis_all/source/bash/copy-zips-to-servers.sh @@ -14,6 +14,7 @@ export CINA=bs-openbis01.ethz.ch export PLASMIDS=bs-openbis02.ethz.ch export LIMB=bs-openbis03.ethz.ch export CHIPDB=bs-openbis09.ethz.ch +export BASYNTHEC=bs-openbis10.ethz.ch # Different types of server specific zips we distinguish @@ -36,6 +37,7 @@ for i in $ZIPS; do echo $SCU; scp -p $i $SCU:~openbis echo $LIMB; scp -p $i $LIMB:~openbis echo $CHIPDB; scp -p $i $CHIPDB:~openbis + echo $BASYNTHEC; scp -p $i $BASYNTHEC:~openbis done