Renaming JPEGmini files with Python

JpegMINI is awesome! If you guys haven’t checked this project out you should take a look at it! They have built an amazing jpeg compression algorithm; I even bought the mac app, it’s really good for compressing ≈ 8mb into 3mb pics without loss of quality.

But right now their mac app can only compress files bigger than 2 megapixels, which is quite annoying when you want to compress small files for a website.

You can do that by uploading the pictures for free on their website. The problem is that all pictures are renamed with an annoying _mini.jpg at the end.

So I just created a very small python script to handle this renaming: