#! /bin/sh

wget "$url" -O "$out"