>>40 bash、curl および GraphicsMagick の convert コマンドを使用。動作確認したOSはUbuntu 20.04LTS。数百枚のjpegからgifへのconvertには多少時間がかかります。
オプション -h または --highres を指定すると 2048x2048、オプション無しあるいは -l または --lowreso を指定すると 512x512、なおボーナスはスイス銀行の秘密口座に。
※見易くするためインデントは全角スペースに置換してあります。8月16日23時まで取得するようにしているがまだ無い将来の画像は含まない。

res='512x512' # default
OPT=`getopt -o hl -l highreso,lowreso -- "$@"`
eval set -- "$OPT"
while true; do
　case "$1" in
　　-h | --highreso)
　　　res='2048x2048'
　　　shift ;;
　　-l | --lowreso)
　　　res='512x512'
　　　shift ;;
　　--)
　　　shift
　　　break ;;
　esac
done
dir=$(mktemp -d TmpDir.XXXXXX)
for d in $(seq -w 01 16); do
　for h in $(seq -w 0 23); do
　　dh="$d$h"
　　file="HMW92308${dh}.globe.1.jpg"
　　url="http://agora.ex.nii.ac.jp/digital-typhoon/globe/color/2023/${res}/${file}"
　　echo $url; curl -f -s -R -o "$dir/$file" $url
　done
done
#set -x
time convert $(ls $dir/*.jpg) TyphoonAime${res}.gif
ls -o TyphoonAime${res}.gif