Skip to content

Instantly share code, notes, and snippets.

@edgabaldi
Created December 27, 2018 17:31
Show Gist options
  • Save edgabaldi/3f956d0c40eeed37a72b76089d720271 to your computer and use it in GitHub Desktop.
Save edgabaldi/3f956d0c40eeed37a72b76089d720271 to your computer and use it in GitHub Desktop.
#!/bin/bash
for FILE in $(ls *.bin); do
LINHA=$(cat urls_to_download.txt | grep $FILE)
NEW_NAME=$(echo "$LINHA" | cut -d ";" -f 2)
mv -v $FILE $NEW_NAME
done
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment