# HG changeset patch
# User dereeper
# Date 1717099675 0
# Node ID 152d7c43478bded2133cdbbfc7fc8654dcd2eaa7
# Parent  38c66e4010405345d553912a54c5af55edbeadde
Uploaded

diff -r 38c66e401040 -r 152d7c43478b PanExplorer.xml
--- a/PanExplorer.xml	Thu May 30 19:59:16 2024 +0000
+++ b/PanExplorer.xml	Thu May 30 20:07:55 2024 +0000
@@ -23,11 +23,7 @@
 
 
 
-if [ -f \$PANEX_PATH/panexplorer.sif ]; then
-   echo "Singularity file exists."
-else
-   wget -O \$PANEX_PATH/panexplorer.sif https://panexplorer.southgreen.fr/singularity/panexplorer.sif >>$logfile 2>&1
-fi
+if [ ! -f \$PANEX_PATH/panexplorer.sif ]; then wget -O \$PANEX_PATH/panexplorer.sif https://panexplorer.southgreen.fr/singularity/panexplorer.sif >>$logfile 2>&1;fi;