diff options
author | Julian Andres Klode <jak@debian.org> | 2020-01-15 22:02:32 +0000 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2020-01-15 22:02:32 +0000 |
commit | 087c97b7959acb1f9417b0b02be58709666476dc (patch) | |
tree | 9dca81e85bb4f433dfdf6ce4f3862ef4177841ae /doc/examples | |
parent | a9916c3faa2b8c6fa288599efec65868d050b0ef (diff) | |
parent | 21cb4a9e513ccb6f376fbcaf67957c4851cbbe32 (diff) |
Merge branch 'pu/apt-regex-cli' into 'master'
apt(8): Disable regular expressions and fnmatch
See merge request apt-team/apt!95
Diffstat (limited to 'doc/examples')
-rw-r--r-- | doc/examples/configure-index | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/examples/configure-index b/doc/examples/configure-index index 25378a809..cc70465d6 100644 --- a/doc/examples/configure-index +++ b/doc/examples/configure-index @@ -695,6 +695,7 @@ apt::cmd::list-include-summary "<BOOL>"; apt::cmd::use-regexp "<BOOL>"; apt::cmd::all-versions "<BOOL>"; apt::cmd::format "<STRING>"; +apt::cmd::pattern-only "<BOOL>"; // internal apt::config::dump::emptyvalue "<BOOL>"; apt::config::dump::format "<STRING>"; |