ImageEditing

To convert a PNG file to an ICO file, you can use ffmpeg by running this command (replacing img with the name of your input and output file):

ffmpeg -i img.png img.ico

We can 'apt install ffmpeg' in the Ubuntu shell under Windows and it works fine.