# batch_rename
A simple command make linux or macos do things like "rename *.mp3 *.mp4" in Windows/MSDOS