Lyhyin tapa on tehdä tuo bashilla, mutta itse tekisin sen Pythonilla:
import os
directory="./dump"
#base,newbase=("svgdump","SvgDump")
newbase,base=("svgdump","SvgDump")
files = os.listdir(directory)
for f in files:
oldname=os.path.join(directory,f)
newname=oldname.replace(base,newbase)
if oldname!=newname:
#print oldname,newname
os.rename(oldname,newname)
Kokeilin tuota dump-hakemistoon, jossa oli erinäinen määrä svgdumpxxx.svg nimisiä tiedostoja. Voit kokeilla ensin että tiedostonnimet menevät oikein vaihtamalla kommentin paikkaa edellisestä:
print oldname,newname
#os.rename(oldname,newname)