changeset 13:152d7c43478b draft default tip

Uploaded
author dereeper
date Thu, 30 May 2024 20:07:55 +0000
parents 38c66e401040
children
files PanExplorer.xml
diffstat 1 files changed, 1 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- 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;