diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2007-02-06 15:04:47 +0100 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2007-02-06 15:04:47 +0100 |
| commit | a577a938d4b957b5462a830b21d509fa754b33d5 (patch) | |
| tree | fd3ab848593a0818ae5be30508b6a469557d9a1a /doc | |
| parent | 78a9df8a467d9f240df81c236f233a38f450e60a (diff) | |
| parent | 39e1be0ff93e3084b7cb98b6a7d0c272a8b296b0 (diff) | |
* merged the apt--mirror branch
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/examples/configure-index | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/doc/examples/configure-index b/doc/examples/configure-index index 26d9354fe..4262b479f 100644 --- a/doc/examples/configure-index +++ b/doc/examples/configure-index @@ -180,6 +180,17 @@ Acquire { Options {"--ignore-time-conflict";} // not very usefull on a normal system }; + + mirror + { + RefreshInterval "360"; // refresh interval in minutes + MaxAge "90"; // max age for a mirror file in days before + // it gets deleted + // mirror failure reporting script + ProblemReporting "/usr/lib/apt/apt-report-mirror-failure"; + // mirror failure reporting url + ReportFailures "http://example.com/mirror-failure"; + }; }; // Directory layout @@ -193,6 +204,7 @@ Dir "/" userstatus "status.user"; status "/var/lib/dpkg/status"; cdroms "cdroms.list"; + mirrors "mirrors/"; }; // Location of the cache dir @@ -283,9 +295,9 @@ Debug Acquire::Http "false"; // Show http command traffic Acquire::Https "false"; // Show https debug Acquire::gpgv "false"; // Show the gpgv traffic + Acquire::Mirror "false"; // Show debugging of the mirror method aptcdrom "false"; // Show found package files IdentCdrom "false"; - } /* Whatever you do, do not use this configuration file!! Take out ONLY |