From 41e32b3391326cf338195e5863121ff36fcd6a81 Mon Sep 17 00:00:00 2001 From: Francois Pons Date: Tue, 27 Nov 2001 18:45:37 +0000 Subject: curl support --- urpmi.update | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) (limited to 'urpmi.update') diff --git a/urpmi.update b/urpmi.update index f7d57663..e35bd65f 100755 --- a/urpmi.update +++ b/urpmi.update @@ -29,18 +29,23 @@ sub main { $options{force} = 0; $options{noclean} = 1; + $options{sync} = undef; foreach (@_) { /^--?a/ and $options{all} = 1, next; /^--?c/ and $options{noclean} = 0, next; /^--?c/ and $options{depslist} = 1, next; /^--?f/ and ++$options{force}, next; + /^--wget/ and $options{sync} = \&urpm::sync_wget, next; + /^--curl/ and $options{sync} = \&urpm::sync_curl, next; /^--?noa/ and next; #- default, keeped for compability. - /^-/ and die _("usage: urpmi.update [-a] ... + /^-/ and die _("usage: urpmi.update [options] ... where is a medium name to update. - -a select all non-removable media. - -c clean headers cache directory. - -f force generation of base files, use another -f for hdlist files. -\nunknown options '%s'\n", $_); +") . _(" -a - select all non-removable media. +") . _(" -c - clean headers cache directory. +") . _(" -f - force generation of hdlist files. +") . _(" --wget - use wget to retrieve distant files. +") . _(" --curl - use curl to retrieve distant files. +") . _("\nunknown options '%s'\n", $_); push @toupdates, $_; } -- cgit v1.2.1