Simple Python script to remove leading numbers from file names (useful when renaming music files)

ren.py

#!/usr/bin/python
import re
import os
import os.path

pattern = re.compile("^[0-9]+ ?- ?")

def directory(d):
    for f in d[2]:
        if pattern.match(f):
            os.rename(os.path.join(d[0], f), 
                      os.path.join(d[0], pattern.sub('', f)))

map(directory, os.walk('.'))

If anyone has a tutorial of how to do this pls link me 🙏🏼. Really struggling so far to figure this out.