auto upload to server virtuoso server

Wimmics · Jun 28, 2024 · bb5ee2c · bb5ee2c
1 parent 662b5c2
commit bb5ee2c
Showing 1 changed file with 5 additions and 3 deletions.
diff --git 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 <file1> ..."
     exit 0
@@ -19,4 +17,8 @@ do
     template_filename=${@:$current_file_nb:1}
 
     ./Experiment_partition_launch.sh $template_filename
-done
+done
+
+./appli/virtuoso/virtuoso-opensource/virtuoso_upload.sh dekalog /database /appli/virtuoso/virtuoso-opensource ../../ouput/*.trig
+
+rm -rf ../../output/*.trig