On Fri, Oct 06, 2000 at 02:27:15PM +0200, Daniel Stenberg wrote:
> On Fri, 6 Oct 2000, Domenico Andreoli wrote:
>
> > [dom@grullo ~]$ curl --proxy proxy.libero.it:8080 http://www.slashdot.org
> > curl: option --proxy is ambiguous
> > curl: try 'curl --help' for more information
>
> Yes.
>
> The command line parser for long options started doing this when I added the
> --proxytunnel option in 7.3...
>
> Anyway, I believe the attached patch corrects this problem. It will be
> included in the upcoming version 7.4.
>
i wanted to try resolving this bug myself but i still don't know
curl internals :(

> Thanks for bringing this to my attention!
>
thank you for having solved it! :)

ciao

-----[ Domenico Andreoli, aka cavok
 --[ curl -s http://www.freeweb.org/free/cavok/gpgkey.asc | gpg --import
  --[ 3A0F 2F80 F79C 678A 8936 4FEE 0677 9033 A20E BC50