How to Easily Remove a Prefix from 1800+ Files

Today I had an easy job of renaming 1800+ wave files which by my own fault had been uploaded to cloud storage with a prefix of 5 digits and an underscore before the correct filename. And since the filename maps directly to a matching objects id in a database, it was imperative that they be renamed, and fast.

I am - as you may know - not one for manuable labour when it can be automatized. So once again I found myself with a simple shell script in bash/zsh

It uses a simple sed regex, with a backreference to the final part of the file name.