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 /man/C/urpmi.addmedia.8 | |
| 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 'man/C/urpmi.addmedia.8')
| -rw-r--r-- | man/C/urpmi.addmedia.8 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/man/C/urpmi.addmedia.8 b/man/C/urpmi.addmedia.8 index 3278499f..f6a1deca 100644 --- a/man/C/urpmi.addmedia.8 +++ b/man/C/urpmi.addmedia.8 @@ -112,6 +112,9 @@ installed. Create a virtual medium, this only works for file:// and removable:// protocol and no files will be created in /var/lib/urpmi. The medium is always up-to-date and so it does not need to be updated by \fBurpmi.update\fP. +.IP "\fB\--norebuild\fP" +Don't try to rebuild the hdlist files from the RPMs if the original hdlist wasn't +readable or was corrupted. .IP "\fB\-c\fP" Clean headers cache directory in /var/cache/urpmi/headers. .IP "\fB\-h\fP" |