drive-to-wget Generate the wget command with the right options to download a public Google Drive file