Tag Info

New answers tagged

0

It's better not to change the officialy installed package libpng12-dev but rather to indicate in the Makefile from libbpg where to find libpng 1.6 So I modify the Anthon's solution : # install dev packages needed sudo apt-get install -y libsdl-image1.2-dev libsdl1.2-dev libjpeg8-dev # download, configure, make and make install PNG 1.6 (You coul find a ...


2

Gifs cannot be manipulated in that way by appending. It's disappointing, I know. I'd written a detailed explanation of the file format here, but Wikipedia explains it better. This is why appending with cat doesn't work. There aren't many "simple" formats, but I'd take a bet that .bmp is one of the simplest, containing a semi-raw pixel array and metadata.


0

Just put the image under /boot/grub/ and run sudo update-grub


2

You could use mogrify to batch convert & resize all .png images in the current directory: mogrify -resize 25% -format jpg *.png because it uses -format jpg the original .png images are left untouched (when format is the same or missing the originals are overwritten).



Top 50 recent answers are included