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