# HG changeset patch
# User dereeper
# Date 1717087268 0
# Node ID ae74fc0cb39ca9c973d8e9a4e2ca7826b3bbef43
# Parent  d103c41b69318199cda96f5a3b17e02521f5430b
Uploaded

diff -r d103c41b6931 -r ae74fc0cb39c PanExplorer.xml
--- 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;