Great! So now we have three good ways of doing this renaming:
- j65nko's sed script
- vils from the ports
- The bash name substitution method from robbak
Let's go out in the world and look for files to rename!
I will start renaming the files in /bin/ and /usr/bin.
Just kidding!