diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2008-03-18 14:05:06 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2008-03-18 14:05:06 +0000 |
| commit | 67c2603032b329444b12bd15b8ab71bff9f79b0e (patch) | |
| tree | b40d82f038d737ca96ea25290008b67bb1fefad7 /pod/urpmi.addmedia.8.pod | |
| parent | 17100661516bbc5d2f6d466ae01637402a70167c (diff) | |
| download | urpmi-67c2603032b329444b12bd15b8ab71bff9f79b0e.tar urpmi-67c2603032b329444b12bd15b8ab71bff9f79b0e.tar.gz urpmi-67c2603032b329444b12bd15b8ab71bff9f79b0e.tar.bz2 urpmi-67c2603032b329444b12bd15b8ab71bff9f79b0e.tar.xz urpmi-67c2603032b329444b12bd15b8ab71bff9f79b0e.zip | |
- urpmi.addmedia, urpmi.update:
o urpmi.addmedia --mirrorlist handles a list of mirrors/mirrorlist:
you can specify a mirror to use inside a local network, but it will
default to standard mirrors when the local mirror is not available.
Diffstat (limited to 'pod/urpmi.addmedia.8.pod')
| -rw-r--r-- | pod/urpmi.addmedia.8.pod | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pod/urpmi.addmedia.8.pod b/pod/urpmi.addmedia.8.pod index fd95fbb5..7edfcf39 100644 --- a/pod/urpmi.addmedia.8.pod +++ b/pod/urpmi.addmedia.8.pod @@ -145,6 +145,12 @@ Use rpm files (instead of synthesis). Use the given url as a mirror list. It is quite special, please see examples at the beginning of this page. +You can also give a space seperated list of urls. Each url can be either a +mirrorlist or a mirror url. This is useful if you have a mirror to use inside +a local network, but still use standard mirrors when the local mirror is not +available. + + nb: $MIRRORLIST is a special variable which gives the default URL for the current distribution/arch |