diff PanExplorer.xml @ 10:d103c41b6931 draft

Uploaded
author dereeper
date Thu, 30 May 2024 16:35:22 +0000
parents 24676ef2945d
children ae74fc0cb39c
line wrap: on
line diff
--- a/PanExplorer.xml	Thu May 30 16:18:04 2024 +0000
+++ b/PanExplorer.xml	Thu May 30 16:35:22 2024 +0000
@@ -21,7 +21,8 @@
 
 cat config.yaml >$logfile;
 
-wget -O \$PANEX_PATH/panexplorer.sif https://panexplorer.southgreen.fr/singularity/panexplorer.sif >>$logfile 2>&1;
+if [ -f \$PANEX_PATH/panexplorer.sif ]; then; else; wget -O \$PANEX_PATH/panexplorer.sif https://panexplorer.southgreen.fr/singularity/panexplorer.sif >>$logfile 2>&1; fi;
+