Guest User

Untitled

a guest
Jan 16th, 2019
70
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.16 KB | None | 0 0
  1. #!/bin/bash
  2. names=( *%0D )
  3. for oldname in "${names[@]}"
  4. do
  5. echo $oldname
  6. newname=`echo "$oldname" | tr -d %0D`
  7. echo $newname
  8. mv "$oldname" "$newname"
  9. done
Add Comment
Please, Sign In to add comment