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 /urpmi.addmedia | |
| 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 'urpmi.addmedia')
| -rwxr-xr-x | urpmi.addmedia | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/urpmi.addmedia b/urpmi.addmedia index c382da5c..6875b8e4 100755 --- a/urpmi.addmedia +++ b/urpmi.addmedia @@ -72,6 +72,7 @@ and [options] are from ") . N(" --virtual - create virtual media wich are always up-to-date, only file:// protocol is allowed. ") . N(" --no-md5sum - disable MD5SUM file checking. +") . N(" --norebuild - don't try to rebuild hdlist if not readable. ") . N(" -c - clean headers cache directory. ") . N(" -f - force generation of hdlist files. ") . N(" -q - quiet mode. |