code: def batch_rename_file(path, f, t):
      
      files = os.listdir(path)
      for file in files:
          if f in file:
              new_fn = file.replace(f, t)
              old = os.path.join(path, file)
              new = os.path.join(path, new_fn)
              os.rename(old, new)
docs: 根据replaces中定义的规则，批量重命名