This is a script to rename files with bad characters in their names. It is especially useful if you have to copy one windows filesystem encoded in some obscure character set over to another or to a linux partition which won’t understand or display correctly that character set.
Feedback welcome.
Enjoy!