# HG changeset patch
# User dereeper
# Date 1717071085 0
# Node ID 4157f435fa896ff4f4bb792db5919654a95bf979
# Parent  53df1177ff97cbfc15367349afb959dd1609ad26
Uploaded

diff -r 53df1177ff97 -r 4157f435fa89 PanExplorer.xml
--- 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