data/download_valset.sh

#!/bin/bash
DOCUMENT_ID="1mzNxCyrUTBF7-lQGPLYT0HuUODvVvtsb"
FINAL_DOWNLOADED_FILENAME="val.zip"

curl -c /tmp/cookies "https://drive.google.com/uc?export=download&id=$DOCUMENT_ID" > /tmp/intermezzo.html
curl -L -b /tmp/cookies "https://drive.google.com$(cat /tmp/intermezzo.html | grep -Po 'uc-download-link" [^>]* href="\K[^"]*' | sed 's/\&/\&/g')" > $FINAL_DOWNLOADED_FILENAME
unzip val.zip
rm val.zip