1#!/bin/bash 2 3base_url='https://github.com/AlnisM/autoheuristic-datasets/raw/main/' 4a100_data='mixedmm_a100_data.zip' 5h100_data='mixedmm_h100_data.zip' 6datasets=("${a100_data}" "${h100_data}") 7for dataset in "${datasets[@]}"; do 8 rm -f ${dataset} 9 url="${base_url}${dataset}" 10 wget ${url} 11 unzip -o ${dataset} 12 rm ${dataset} 13done 14