From 101507a6eabc6d49c93ab2090c7700c08811e8f8 Mon Sep 17 00:00:00 2001 From: Simon Allier Date: Mon, 29 Sep 2014 17:32:43 +0200 Subject: [PATCH] fix --- grid5000.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/grid5000.sh b/grid5000.sh index 21fcc7bf..9e30ce81 100644 --- a/grid5000.sh +++ b/grid5000.sh @@ -14,3 +14,5 @@ rm -rf repo java -Djava.library.path=lib -Dhttp.proxyHost=proxy.rennes.grid5000.fr -Dhttps.proxyPort=3128 -Dhttps.proxyHost=proxy.rennes.grid5000.fr -Dhttp.proxyPort=3128 -jar target/Sosies-generator-1.0-SNAPSHOT-jar-with-dependencies.jar git repo sh script/runFromGit.sh 1000 repo & + +sh grid5000.sh