diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2008-10-29 16:33:26 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2008-10-29 16:33:26 +0000 |
| commit | 5e10932dd221d5ff4033337baee57b3e630946ba (patch) | |
| tree | b2b6d75f975833214213626ab89b1f39a666c4fa /pod/urpmi.addmedia.8.pod | |
| parent | dbfc6fa31b17191bc618727a2752ceab163ab4bb (diff) | |
| download | urpmi-5e10932dd221d5ff4033337baee57b3e630946ba.tar urpmi-5e10932dd221d5ff4033337baee57b3e630946ba.tar.gz urpmi-5e10932dd221d5ff4033337baee57b3e630946ba.tar.bz2 urpmi-5e10932dd221d5ff4033337baee57b3e630946ba.tar.xz urpmi-5e10932dd221d5ff4033337baee57b3e630946ba.zip | |
drop obsolete stuff
it should have been dropped in commit:
: r14827 | rgarciasuarez | 2005-02-17 16:01:39 +0100 (Thu, 17 Feb 2005) | 2 lines
: Remove obsoleted and broken --distrib-XXX command-line option
Diffstat (limited to 'pod/urpmi.addmedia.8.pod')
| -rw-r--r-- | pod/urpmi.addmedia.8.pod | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/pod/urpmi.addmedia.8.pod b/pod/urpmi.addmedia.8.pod index c4a4f5b2..c7d223a6 100644 --- a/pod/urpmi.addmedia.8.pod +++ b/pod/urpmi.addmedia.8.pod @@ -186,13 +186,6 @@ to B<--root>, the urpmi configuration comes from the rooted tree. If the urpmi or rpm db is busy, wait until it is available -=item B<--from> I<url> - -Use specified URL for list of mirrors. The default is taken from the file -F</etc/urpmi/mirror.config>, or -F<http://www.mandrivalinux.com/mirrorsfull.list> if this file doesn't -exist. - =item B<--virtual> Creates a virtual medium: the medium is always up-to-date and so it does not |