Allow customizing the .webp filename rule
Allow customizing the .webp filename rule: a task in MiMo-V2.6-RL-harbor-code: MiMo-V2.6-RL Code (Harbor) (Harbor dataset). Most WebP converters I've used (the ones that batch-convert .jpg / .png to .webp ) keep the original extension and just append .webp . So logo.png becomes logo.png.webp on…
The task
Most WebP converters I've used (the ones that batch-convert `.jpg` / `.png` to `.webp`) keep the original extension and just append `.webp`. So `logo.png` becomes `logo.png.webp` on disk, not `logo.webp`. This is actually the default in a lot of tools.
Part of FineEnvs/MiMo-V2.6-RL-harbor-code.