diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2015-08-27 18:13:00 +0200 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2015-08-27 18:16:50 +0200 |
| commit | 1a3a14ac63b0c4f18de53a7bddcf79d20a5e814f (patch) | |
| tree | 970faeb03bf9407e145aa607d755a08f6e8a0add /apt-pkg/indexfile.h | |
| parent | bf33c3bd991be704494a060730f8370fd9cad52c (diff) | |
sources.list and indextargets option for pdiffs
Disabling pdiffs can be useful occasionally, like if you have a fast
local mirror where the download doesn't matter, but still want to use it
for non-local mirrors. Also, some users might prefer it to only use it
for very big indextargets like Contents.
Diffstat (limited to 'apt-pkg/indexfile.h')
| -rw-r--r-- | apt-pkg/indexfile.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/apt-pkg/indexfile.h b/apt-pkg/indexfile.h index 844f0cd3b..562b9f7b8 100644 --- a/apt-pkg/indexfile.h +++ b/apt-pkg/indexfile.h @@ -85,8 +85,10 @@ class IndexTarget /*{{{*/ TARGET_OF, FILENAME, EXISTING_FILENAME, + PDIFFS, }; std::string Option(OptionKeys const Key) const; + bool OptionBool(OptionKeys const Key) const; std::string Format(std::string format) const; }; /*}}}*/ |