diff options
| author | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2004-10-14 01:56:45 +0000 |
|---|---|---|
| committer | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2004-10-14 01:56:45 +0000 |
| commit | 228e9f101df598b634208de6e4b5690a8810f28b (patch) | |
| tree | 6f35171ec5137e4cd9fb5bbe90974908f580c654 /urpm/args.pm | |
| parent | f33357eec411ff5efba41219aba451ee30e5fefb (diff) | |
| download | urpmi-228e9f101df598b634208de6e4b5690a8810f28b.tar urpmi-228e9f101df598b634208de6e4b5690a8810f28b.tar.gz urpmi-228e9f101df598b634208de6e4b5690a8810f28b.tar.bz2 urpmi-228e9f101df598b634208de6e4b5690a8810f28b.tar.xz urpmi-228e9f101df598b634208de6e4b5690a8810f28b.zip | |
Implement a new option, --norebuild, to urpmi, urpmi.update and urpmi.addmedia.
It prevents rebuilding the hdlist from the headers of the RPMs for a local
media. It's also settable globally in the urpmi.cfg file. Comes with doc.
Diffstat (limited to 'urpm/args.pm')
| -rw-r--r-- | urpm/args.pm | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/urpm/args.pm b/urpm/args.pm index afe63c66..b4eb6f2e 100644 --- a/urpm/args.pm +++ b/urpm/args.pm @@ -104,6 +104,7 @@ my %options_spec = ( $options{X} ||= $ENV{DISPLAY} && system('/usr/X11R6/bin/xtest', '') == 0 }, 'verify-rpm!' => sub { $urpm->{options}{'verify-rpm'} = $_[1] }, + 'norebuild!' => sub { $urpm->{options}{norebuild} = $_[1] }, 'test!' => \$::test, 'skip=s' => \$options{skip}, 'root=s' => \$::root, @@ -248,6 +249,7 @@ my %options_spec = ( 'noa|d' => \my $dummy, # default, keeped for compatibility 'q|quiet' => sub { --$options{verbose} }, 'v|verbose' => sub { ++$options{verbose} }, + 'norebuild!' => sub { $urpm->{options}{norebuild} = $_[1]; $options{force} = 0 }, '<>' => sub { push @::toupdates, $_[0] }, }, @@ -295,7 +297,7 @@ foreach my $k ("help|h", "version", "wget", "curl", "proxy=s", "proxy-user=s") { } foreach my $k ("help|h", "wget", "curl", "proxy=s", "proxy-user=s", "c", "f", "z", - "limit-rate=s", "no-md5sum", "update") + "limit-rate=s", "no-md5sum", "update", "norebuild!") { $options_spec{'urpmi.addmedia'}{$k} = $options_spec{'urpmi.update'}{$k}; } |