diff options
| -rw-r--r-- | pod/urpmi.addmedia.8.pod | 9 | ||||
| -rwxr-xr-x | urpmi.addmedia | 2 |
2 files changed, 8 insertions, 3 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 diff --git a/urpmi.addmedia b/urpmi.addmedia index 5813560c..07bfeb03 100755 --- a/urpmi.addmedia +++ b/urpmi.addmedia @@ -69,7 +69,7 @@ and [options] are from ") . N(" --nopubkey - don't import pubkey of added media ") . N(" --raw - add the media in config, but don't update it. ") . N(" -c - clean headers cache directory. -") . N(" -f - force generation of hdlist files. +") . N(" -f -f - force generation of hdlist files. ") . N(" -q - quiet mode. ") . N(" -v - verbose mode. "); |