Aqui está uma solução usando o php com base em esta resposta .
Crie um arquivo, por exemplo, myrename.php
com o seguinte conteúdo:
<?php
$test = 1;
if(!chdir('/tmp/mydir')) echo "failed chdir\n";
else if ($handle = opendir('.')) {
while (false !== ($fileName = readdir($handle))) {
$newName = preg_replace("/\.(jpg|gif|png)$/i","-img4sm.\1",$fileName);
if($newName!=$fileName){
if($test){
echo "$fileName -> $newName\n";
}else{
if(!rename($fileName, $newName))echo "failed $fileName -> $newName\n";
}
}
}
closedir($handle);
}
?>
substitua /tmp/mydir
pelo caminho do seu diretório. Execute o script com
php myrename.php
e imprimirá o nome do arquivo antigo e o novo nome de arquivo para cada arquivo correspondente.
Se isso estiver correto, altere $test = 1;
para $test = 0;
e execute-o para verdadeiro.
Lembre-se de fazer backup dos arquivos em algum lugar primeiro em caso de problemas.