Brian Tyndall [EMAIL PROTECTED] writes:
retrieving source hdlist (or synthesis) of noo1...
curl: option - is unknown
curl: try 'curl --help' or 'curl --manual' for more information
This was a problem in urpmi using curl with proxy, it should be fixed since
latest urpmi version, can you
Hi
I wanted to use curl insted of wget for the updating of my urpmi
hdlists, but curl gives me alot of errors:
urpmi.update -a --proxy wwwproxy.nork.auc.dk:3128 --curl
retrieving description file of noo1...
...retrieving failed: curl failed: exited with 22 or signal 0
retrieving source hdlist
Kim Schulz [EMAIL PROTECTED] writes:
Hi
Hi,
I wanted to use curl insted of wget for the updating of my urpmi
hdlists, but curl gives me alot of errors:
urpmi.update -a --proxy wwwproxy.nork.auc.dk:3128 --curl
retrieving description file of noo1...
...retrieving failed: curl failed:
On Fri 01 Aug 2003 03:35, François Pons posted as excerpted below:
Kim Schulz [EMAIL PROTECTED] writes:
I wanted to use curl insted of wget for the updating of my urpmi
hdlists, but curl gives me alot of errors:
retrieving source hdlist (or synthesis) of noo1...
curl: option - is
Hi
I wanted to use curl insted of wget for the updating of my urpmi
hdlists, but curl gives me alot of errors:
urpmi.update -a --proxy wwwproxy.nork.auc.dk:3128 --curl
retrieving description file of noo1...
...retrieving failed: curl failed: exited with 22 or signal 0
retrieving source hdlist