diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2006-12-13 12:33:17 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2006-12-13 12:33:17 +0000 |
| commit | fd881538f7adf51e9f088c6a4890074dff71de62 (patch) | |
| tree | f34e5bfb975f7de403b191e006c832f8eb9459a4 /pod/urpmi.addmedia.8.pod | |
| parent | 69c8b7f4280c51cc7a6c735ffb66dd12d946eee2 (diff) | |
| download | urpmi-fd881538f7adf51e9f088c6a4890074dff71de62.tar urpmi-fd881538f7adf51e9f088c6a4890074dff71de62.tar.gz urpmi-fd881538f7adf51e9f088c6a4890074dff71de62.tar.bz2 urpmi-fd881538f7adf51e9f088c6a4890074dff71de62.tar.xz urpmi-fd881538f7adf51e9f088c6a4890074dff71de62.zip | |
don't document "-f" which does nothing, directly document "-f -f"
Diffstat (limited to 'pod/urpmi.addmedia.8.pod')
| -rw-r--r-- | pod/urpmi.addmedia.8.pod | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/pod/urpmi.addmedia.8.pod b/pod/urpmi.addmedia.8.pod index fbde6d01..5e80aa1a 100644 --- a/pod/urpmi.addmedia.8.pod +++ b/pod/urpmi.addmedia.8.pod @@ -147,6 +147,11 @@ will attempt to add all media it finds. By default, it won't add media containing source rpms, or media corresponding to supplementary CD-ROMs on distributions. +=item B<--urpmi-root> I<directory> + +Use the file system tree rooted for urpmi database and rpm install. Contrary +to B<--root>, the urpmi configuration comes from the rooted tree. + =item B<--from> I<url> Use specified URL for list of mirrors. The default is taken from the file @@ -175,9 +180,9 @@ Don't import pubkey of added media. Clean headers cache directory in F</var/cache/urpmi/headers>. -=item B<-f> +=item B<-f -f> -Force rebuild of base files, or of hdlist files when specified twice. +Force rebuild of hdlist files. =back |