[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-hackers] Re: dotgnu: GIF files
From: |
Anil |
Subject: |
[Savannah-hackers] Re: dotgnu: GIF files |
Date: |
Sat, 19 Jan 2002 23:11:56 -0800 (PST) |
Hi, I have informed the concerned project admin about this. We will take
care of it as soon as possible. Sorry for the oversight.
regards
Anil
On Sat, 19 Jan 2002 address@hidden wrote:
> Hi,
>
> Could you please remove the following GIF files from the project
> dotgnu hosted on the GNU machines ?
>
> For an explanation on why there are not GIF files on the GNU
> machines read http://www.gnu.org/philosophy/gif.html. This policy was
> established years ago by the GNU project and is an integral part of
> the requirements for every project registering on savannah.gnu.org
> (see http://savannah.gnu.org/register/requirements.php).
>
> The home page of your project is
> http://savannah.gnu.org/projects/dotgnu/
>
> You can convert GIF files to PNG using the gif2png program.
> http://www.tuxedo.org/~esr/gif2png/gif2png-2.4.2.tar.gz
>
> Here is a sample script to convert the GIF files that are in
> your web pages to PNG.
>
> export CVS_RSH=ssh
> cvs -d address@hidden:/webcvs co projects/dotgnu/
> cd projects/dotgnu/
>
> while read file
> do
> gif2png -O $file.gif
> cvs delete -f $file.gif
> cvs add $file.png
> done <<'EOF'
> pnetlib-status/corner-bottom-left
> pnetlib-status/corner-bottom-right
> pnetlib-status/corner-top-left
> pnetlib-status/corner-top-right
> EOF
> cvs commit -m 'Convert GIF to PNG'
>
>
> Thanks for your help,
>
> The GNU volunteers, address@hidden
>
>
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Savannah-hackers] Re: dotgnu: GIF files,
Anil <=