diff PanExplorer.xml @ 5:4157f435fa89 draft

Uploaded
author dereeper
date Thu, 30 May 2024 12:11:25 +0000
parents 97e4e3e818b6
children 35d71348e81e
line wrap: on
line diff
--- a/PanExplorer.xml	Thu May 30 11:54:27 2024 +0000
+++ b/PanExplorer.xml	Thu May 30 12:11:25 2024 +0000
@@ -20,7 +20,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; fi;
+wget -O \$PANEX_PATH/panexplorer.sif https://panexplorer.southgreen.fr/singularity/panexplorer.sif