w3xmapnameextractor.py

import os

for file in os.listdir('./'):
    if file.endswith('.w3m') or file.endswith('.w3x'):
        with open(os.path.join('./', file), 'rb') as f:
            header = f.read(255)
            map_name = header[8:8+header[8:].find(b'\x00')]
            print(map_name)

            # TODO: map_name删除|c与|r，顺带删除|c后面的颜色代码
            # TODO: os.rename()