Como renomear parte do nome de um ficheiro pelo terminal ?

[Ridro]

Oi Pessoal, eu tenho uma directoria com vários ficheiros com nomes deste tipo:

Compact001
Compact002
etc

precisava de saber como posso mudar, pelo terminal, apenas a parte que diz "Compact" para "Form", ou seja, ficava desta forma:

Form001
form002
etc

qualquer dica seria uma grande ajuda,

Obrigado