# HG changeset patch # User dereeper # Date 1717099156 0 # Node ID 38c66e4010405345d553912a54c5af55edbeadde # Parent ae74fc0cb39ca9c973d8e9a4e2ca7826b3bbef43 Uploaded diff -r ae74fc0cb39c -r 38c66e401040 PanExplorer.xml --- a/PanExplorer.xml Thu May 30 16:41:08 2024 +0000 +++ b/PanExplorer.xml Thu May 30 19:59:16 2024 +0000 @@ -21,8 +21,13 @@ cat config.yaml >$logfile; -wget -O \$PANEX_PATH/panexplorer.sif https://panexplorer.southgreen.fr/singularity/panexplorer.sif >>$logfile 2>&1; + +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