changeset 5:4157f435fa89 draft

Uploaded
author dereeper
date Thu, 30 May 2024 12:11:25 +0000
parents 53df1177ff97
children 35d71348e81e
files PanExplorer.xml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
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