Re: Converting navbar images to PNG
On Fri, 2007-02-09 at 21:04 +0100, Simon Paillard wrote:
> Hello Matthew,
> On Thu, Feb 08, 2007 at 11:35:58AM -0500, Matthew K Poer wrote:
> > The TODO states:
> > /Pics/
> > Convert the navbar images to PNG.
> > (http://www.debian.org/devel/website/todo)
> Actually we should update this todolist, indeed the navbar doesn't use
> images anymore.
> But some others images like the debian logo and so one can still be
> converted to PNG and/or be optimized.
> You can check the following bugs :
> > So should I just download all of these:
> > http://www.debian.org/Pics/
> > and start converting the .gif to .png? I know it will take a while, is
> > there any certain way it should be done? I can use GIMP, but I think
> > ImageMagick can do this with a script.
> ImageMagick should be able to do that "automagically". Take care of the
> PNG optimization (that is lossless).
> > I'd love to help and this is something I think I know how to do.
> Thanks for your interest.
> You can also check the bugs related to the website at
> http://bugs.debian.org/www.debian.org and see how to solve them.
> Best regards,
(I've posted this twice, with file attached, but neither went out to the list)
I used gwget to grab all the images in /Pics/, ImageMagick to make them
PNGs, and pngcrush -brute to optimize. The result is in the attached
The PNG+optimization should help with bandwidth, and PNG is an open
standard, so I think most would prefer it to GIF.
This is the first time I've done anything like this, so if someone spots
something odd let me know. I don't know who would be the person to
upload this, but they should probably inspect the images, to
Pics.tar.gz is here:
Matthew K Poer