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 : > http://bugs.debian.org/315371 > http://bugs.debian.org/265388 > > > 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 achieve. 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 double-check me. Pics.tar.gz is here: http://matthewpoer.freehostia.com/deb/Pics.tar.gz -- Matthew K Poer -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
