diff options
| author | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2005-04-29 14:35:46 +0000 |
|---|---|---|
| committer | Rafael Garcia-Suarez <rgarciasuarez@mandriva.org> | 2005-04-29 14:35:46 +0000 |
| commit | 2386d4d94e8987a2aed06e9a7ded50ca58d4a541 (patch) | |
| tree | 7757260947bd7e2ea4f6094ec4429971a827ff39 /man/C/urpmi.addmedia.8 | |
| parent | 4f83af7d0aaf0f321d5b1228f6b993764afe5a09 (diff) | |
| download | urpmi-2386d4d94e8987a2aed06e9a7ded50ca58d4a541.tar urpmi-2386d4d94e8987a2aed06e9a7ded50ca58d4a541.tar.gz urpmi-2386d4d94e8987a2aed06e9a7ded50ca58d4a541.tar.bz2 urpmi-2386d4d94e8987a2aed06e9a7ded50ca58d4a541.tar.xz urpmi-2386d4d94e8987a2aed06e9a7ded50ca58d4a541.zip | |
add a --nopubkey option to urpmi.addmedia
Diffstat (limited to 'man/C/urpmi.addmedia.8')
| -rw-r--r-- | man/C/urpmi.addmedia.8 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/C/urpmi.addmedia.8 b/man/C/urpmi.addmedia.8 index 29052bc7..f1144a57 100644 --- a/man/C/urpmi.addmedia.8 +++ b/man/C/urpmi.addmedia.8 @@ -108,6 +108,8 @@ taken from the file /etc/urpmi/mirror.config, or \fIhttp://www.mandrivalinux.com/mirrorsfull.list\fP if this file doesn't exist. .IP "\fB\--version\fP \fIversion\fP" +Use specified distribution version. The default is taken from the version of +the distribution told by the installed mandriva-release package. .IP "\fB\--virtual\fP" 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 @@ -119,6 +121,8 @@ readable or was corrupted. Add the new media in the urpmi configuration file, but don't update it nor proceed to any download. The media, to be usable, will need to be updated with \fBurpmi.update\fP. +.IP "\fB\--nopubkey\fP" +Don't import pubkey of added media .IP "\fB\-c\fP" Clean headers cache directory in /var/cache/urpmi/headers. .IP "\fB\-h\fP" |