tested on fresh 1404 and 1604

dedis · Aug 29, 2017 · 3a8bb83 · 3a8bb83
1 parent 5a8cdb9
commit 3a8bb83
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/simul/platform/mininet/setup_servers.sh b/simul/platform/mininet/setup_servers.sh
@@ -37,7 +37,9 @@ for s in $SERVERS; do
 	fi
 	scp $mininet/install_mininet.sh $login: > /dev/null
 	if ! ssh $login which mn; then
-		ssh -f $login "./install_mininet.sh &> /dev/null"
+		ssh -f $login "apt-get update"
+		ssh -f $login "apt-get install -y psmisc"
+		ssh -f $login "./install_mininet.sh > /dev/null" &
 	else
 		echo "Mininet already installed on $login"
 	fi