documentation updates

Former-commit-id: 39653082c9cd026299f6fcabef7446d569704e1f
This commit is contained in:
2023-08-14 15:20:02 +02:00
parent 70a77c9ec6
commit 845c76abeb
30 changed files with 4303 additions and 117 deletions

View File

@@ -19,11 +19,11 @@ for f in $(egrep "gb(${DIV})[0-9]+\.seq\.gz" index.html \
fi
while [[ ! -f $f ]] ; do
echo downloading
wget2 --progress bar -v -o - $URL$f
if [[ -f $f ]] ; then
gzip -t $f && echo " ok" || rm -f $f
fi
echo downloading
wget2 --progress bar -v -o - $URL$f
if [[ -f $f ]] ; then
gzip -t $f && echo " ok" || rm -f $f
fi
done
done