download.sh

#!/bin/bash
cd "$(dirname $0)"

stat_file="$(date --iso-8601=seconds).log"

baseline="http://dk.archive.ubuntu.com/xubuntu-cd/20.04/release/xubuntu-20.04.1-desktop-amd64.iso"
ghc="https://github.com/commercialhaskell/ghc/releases/download/ghc-8.10.3-release/ghc-8.10.3-x86_64-deb9-linux.tar.xz"

echo $(date --iso-8601=ns) > "${stat_file}"
rm -f out
timeout 3s wget -q "${baseline}" -O out
stat --printf="%s" out >> "${stat_file}"
echo "" >> "${stat_file}"

echo $(date --iso-8601=ns) >> "${stat_file}"
rm -f out
timeout 15s wget -q "${ghc}" -O out
stat --printf="%s" out >> "${stat_file}"
echo "" >> "${stat_file}"
echo $(date --iso-8601=ns) >> "${stat_file}"

rm -f out