UNIX for Dummies Questions & Answers

Hi, I'm new to Unix, but have a directory which has many files in it, well over 1000. The files are called :

Code:

M07GO.STOPE0001
M07GO.STOPE0002
M07GO.STOPE0003
M07GO.STOPE0004

etc...

I would like to rename them to the following :

Code:

M070001.bin
M070002.bin
M070003.bin
M070004.bin

etc....

so missing out the "GO.STOPE" part of the original name and adding ".bin" onto the end. Is there a single command I can type that will rename all the files, possibly by using the wildcard function?
Many thanks, Robert

Try:

Code:

for i in *; do mv $i `echo $i | sed 's/GO.STOPE//;s/$/.bin/'; done

In recent shells (bash, ksh) use parameter pattern deletion:

Code:

for X in M*; do mv $X ${X%GO*}${X#*PE}.bin; done

EDIT: corrected as proposed below by scrutinizer

The latter method is more efficient, and it should work in any POSIX compliant shell.

---
@RudiC: small typo, it should be mv "$X"

Since it is going to do a lot of mv, consider breaking it up:

Code:

$ ls *GO.STOPE* | sed 's/^\(.*\)GO\.STOPE\(.*\)$/mv & \1\2/' | sh