diff --git a/docker/bashrc b/docker/bashrc index 146be858b74bbb6bea7f7c57d9f88ddd1a08d6da..ff2d458c97db15cfe60dff7b1848ddbe3640b2c6 100644 --- a/docker/bashrc +++ b/docker/bashrc @@ -3,7 +3,7 @@ function csv_viewer { } alias configure_default="/trainbenchmark/scripts/configure.sh 1 1024 900 10" alias configure_medium="/trainbenchmark/scripts/configure.sh 8 256 60 5" -alias configure_small="/trainbenchmark/scripts/configure.sh 1 128 20 2" +alias configure_small="/trainbenchmark/scripts/configure.sh 1 32 20 3" alias doc_motd="bash /trainbenchmark/docs/motd" alias doc_basic="bash /trainbenchmark/docs/basic" diff --git a/trainbenchmark/scripts/configure.sh b/trainbenchmark/scripts/configure.sh old mode 100644 new mode 100755 index fb3a9d59b65c10bcaf509cf2965fc7ca89b8242b..9aeac23275fa42429e47211238d2e991ca079aca --- a/trainbenchmark/scripts/configure.sh +++ b/trainbenchmark/scripts/configure.sh @@ -15,11 +15,15 @@ then echo "Default is: ./scripts/configure.sh 1 1024 900 10" exit 1 fi - +echo "Configuring the source with:" +echo "minSize: $MINSIZE" +echo "maxSize: $MAXSIZE" +echo "timeout: $TIMEOUT" +echo "runs: $RUNS" echo -e "\\033[1;96mRemember that this only configures and initializes. Further steps:" echo -e "\\033[1;91mGenerate:" echo -e "\\033[0m if not yet done run ./gradlew generate" -echo " maxSize 1024 -> ~40GB of data" +echo " but beware: maxSize 1024 -> ~40GB of data" echo -e "\\033[1;91mBenchmark:" echo -e "\\033[0m ./gradlew individualInjectBenchmark" echo " ./gradlew individualRepairBenchmark"