aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAvatar Ciaran McCreesh <ciaran.mccreesh@googlemail.com> 2007-10-22 22:40:58 +0000
committerAvatar Ciaran McCreesh <ciaran.mccreesh@googlemail.com> 2007-10-22 22:40:58 +0000
commit6852b85dd7fe99871ca17c2bbeb34eb251aa3c4f (patch)
treef7c4309594405cbdbf87b175cf147bfc3a5f29b0
parenteb629f4f500455d18aab80ca60e1b0c38e4501b3 (diff)
downloadpaludis-6852b85dd7fe99871ca17c2bbeb34eb251aa3c4f.tar.gz
paludis-6852b85dd7fe99871ca17c2bbeb34eb251aa3c4f.tar.xz
More examples
-rw-r--r--doc/configuration/mirrors.html.part.in7
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/configuration/mirrors.html.part.in b/doc/configuration/mirrors.html.part.in
index d4bf029..274d235 100644
--- a/doc/configuration/mirrors.html.part.in
+++ b/doc/configuration/mirrors.html.part.in
@@ -18,7 +18,12 @@ master, the master's name) specially, checking them for all mirrorable files.</p
# Try a fast local mirror first
* http://myfastbox/distfiles/
-# For mirror://gentoo/, use our ISP's mirror
+# For mirror://gentoo/, use our ISP's mirror. This mirror will be consulted
+# for most files in the 'gentoo' repository, and repositories using 'gentoo'
+# as a master, as well as for any explicit mirror://gentoo/ entry.
gentoo http://gentoo.virginmedia.com/distfiles/
+
+# Use a local Debian mirror too. This is only used for mirror://debian/.
+debian http://debian.virginmedia.com/
</pre>