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