Remove prefix from filenames

Assume you have some files with the same prefix, e.g. “old_” and want to rename them by stripping out the prefix.

In a bash shell here’s the code to write down ($==prompt)

$ for files in `ls old_*`
> do
> newfilename=`echo $files | cut -c5-`
> mv $files $newfilename
> done