Python

replace bad character in all filenames in the tree

for a in os.walk('.'): [os.rename(os.path.join(a[0],f), os.path.join(a[0],f.replace(':','='))) if f.find(':')!=-1 else 'ok' for f in a[2]]