Win10, Grub 2 and UEFI

I finally got my broken Grub configuration fixed. Booting Windows from Grub wasn't very hard back in the days, but the old “version” doesn’t work with the newer UEFI-typed computers. Now… looking at it… it does not look very complicated either ;-)

Optimizing PNG Images

A quick notice about three very handy tools to optimize PNG images on the command line. They work on linux and macOS. Use jpegtran for JPG images.