Quick & Dirty extension renamer

rename.py

import os

files = os.listdir('.')

for file in files:
  s = file.split(".wav.ogg")
  
  if len(s) > 1:
    name = s[0] + ".ogg"
    os.rename(file, name)