Mercurial > repos > dereeper > pangenome_explorer
changeset 10:d103c41b6931 draft
Uploaded
author | dereeper |
---|---|
date | Thu, 30 May 2024 16:35:22 +0000 |
parents | 24676ef2945d |
children | ae74fc0cb39c |
files | PanExplorer.xml |
diffstat | 1 files changed, 2 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/PanExplorer.xml Thu May 30 16:18:04 2024 +0000 +++ b/PanExplorer.xml Thu May 30 16:35:22 2024 +0000 @@ -21,7 +21,8 @@ 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; else; wget -O \$PANEX_PATH/panexplorer.sif https://panexplorer.southgreen.fr/singularity/panexplorer.sif >>$logfile 2>&1; fi; +