go.dedis.ch/onet/v4@v4.0.0-pre1/simul/platform/mininet/setup_iccluster.sh (about) 1 #!/usr/bin/env bash 2 mininet="$(dirname ${BASH_SOURCE[0]})" 3 4 if [ -z "$1" ]; then 5 echo "Syntax: $0 #1 #2 ..." 6 echo "Will install mininet on servers iccluster0#1.iccluster.epfl.ch ..." 7 exit 1 8 fi 9 10 ICCLUSTERS="" 11 for s in $@; do 12 SERVER="iccluster$(printf '%03d' $s).iccluster.epfl.ch" 13 ICCLUSTERS="$ICCLUSTERS $SERVER" 14 done 15 16 "$mininet/setup_servers.sh" $ICCLUSTERS