diff options
| author | Julian Andres Klode <jak@debian.org> | 2018-02-19 15:06:06 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2018-02-19 15:06:06 +0000 |
| commit | 928ecff984be22632c27a69e072741e74491292c (patch) | |
| tree | f0d760cc2da3841b90e7f067fd39dbc355c971c8 /doc/examples | |
| parent | 13c85c9cec9e071e90ea190a74cbaabe7c51024c (diff) | |
| parent | 9e5899cac1a6367e3769af52a724821880e538f6 (diff) | |
Merge branch 'pu/not-valid-before' into 'master'
Check that Date of Release file is not in the future
See merge request apt-team/apt!3
Diffstat (limited to 'doc/examples')
| -rw-r--r-- | doc/examples/configure-index | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/examples/configure-index b/doc/examples/configure-index index 00c2ee183..3763aa900 100644 --- a/doc/examples/configure-index +++ b/doc/examples/configure-index @@ -234,6 +234,9 @@ Acquire Max-ValidTime::* "<INT>"; // repository label specific configuration Min-ValidTime "<INT>"; // time in seconds Min-ValidTime::* "<INT>"; // repository label specific configuration + Check-Date "<BOOL>"; // whether to check the "Date" field + Max-FutureTime "<INT>"; // seconds to allow release file's Date field to be in the future (default 10) + Max-FutureTime::* "<INT>"; // repository label specific configuration SameMirrorForAllIndexes "<BOOL>"; // use the mirror serving the Release file for Packages & co |