diff options
| author | Rafael Garcia-Suarez <rgarciasuarez@mandriva.com> | 2006-06-12 09:47:38 +0000 |
|---|---|---|
| committer | Rafael Garcia-Suarez <rgarciasuarez@mandriva.com> | 2006-06-12 09:47:38 +0000 |
| commit | c9318ab4d8b8914cfc8500d6a55bd204216790b7 (patch) | |
| tree | 5ae21b5e9b8c25d323830c6d72220e7aecf02389 /pod/urpmi.addmedia.8.pod | |
| parent | bf7ba492507bebb59b15a6f39c9e8c8433fb983d (diff) | |
| download | urpmi-c9318ab4d8b8914cfc8500d6a55bd204216790b7.tar urpmi-c9318ab4d8b8914cfc8500d6a55bd204216790b7.tar.gz urpmi-c9318ab4d8b8914cfc8500d6a55bd204216790b7.tar.bz2 urpmi-c9318ab4d8b8914cfc8500d6a55bd204216790b7.tar.xz urpmi-c9318ab4d8b8914cfc8500d6a55bd204216790b7.zip | |
Document the two new options in the urpmi.addmedia man page.
Diffstat (limited to 'pod/urpmi.addmedia.8.pod')
| -rw-r--r-- | pod/urpmi.addmedia.8.pod | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/pod/urpmi.addmedia.8.pod b/pod/urpmi.addmedia.8.pod index dfdc897d..3173adf6 100644 --- a/pod/urpmi.addmedia.8.pod +++ b/pod/urpmi.addmedia.8.pod @@ -146,6 +146,19 @@ to create newer medium names in the urpmi database. The B<with ...> option, is not necessary, as media.cfg or hdlists found on the installation medium are used instead automatically. +=item B<--interactive> + +This option is to be used with B<--distrib>. With it, C<urpmi.addmedia> +will ask for confirmation for each media it finds for the specified +distribution. + +=item B<--all-media> + +This option is to be used with B<--distrib>. With it, C<urpmi.addmedia> +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<--from> I<url> Use specified URL for list of mirrors. The default is taken from the file |