diff PanExplorer.xml @ 11:ae74fc0cb39c draft

Uploaded
author dereeper
date Thu, 30 May 2024 16:41:08 +0000
parents d103c41b6931
children 38c66e401040
line wrap: on
line diff
--- a/PanExplorer.xml	Thu May 30 16:35:22 2024 +0000
+++ b/PanExplorer.xml	Thu May 30 16:41:08 2024 +0000
@@ -21,7 +21,7 @@
 
 cat config.yaml >$logfile;
 
-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;
+wget -O \$PANEX_PATH/panexplorer.sif https://panexplorer.southgreen.fr/singularity/panexplorer.sif >>$logfile 2>&1;