diff --git a/scripts/Experiment_partition_launch/all_experiment_launch.sh b/scripts/Experiment_partition_launch/all_experiment_launch.sh index 55e6b602..d979d7de 100755 --- a/scripts/Experiment_partition_launch/all_experiment_launch.sh +++ b/scripts/Experiment_partition_launch/all_experiment_launch.sh @@ -1,7 +1,5 @@ #!/bin/bash - - if [ $# -le 1 ]; then echo "Expected arguments: $0 ..." exit 0 @@ -19,4 +17,8 @@ do template_filename=${@:$current_file_nb:1} ./Experiment_partition_launch.sh $template_filename -done \ No newline at end of file +done + +./appli/virtuoso/virtuoso-opensource/virtuoso_upload.sh dekalog /database /appli/virtuoso/virtuoso-opensource ../../ouput/*.trig + +rm -rf ../../output/*.trig \ No newline at end of file