diff options
author | Julian Andres Klode <jak@debian.org> | 2020-02-26 20:28:47 +0000 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2020-02-26 20:28:47 +0000 |
commit | b71b6802fe64723117bce6d91495a8af98ac528a (patch) | |
tree | ebb655eb7496799009b672c39799f670a596eb3e /doc/examples/configure-index | |
parent | be22f24669bb6731b5835dc0e1b459d821683a9c (diff) | |
parent | 93e1565796b61eb44bec39f50e09a34cbe090178 (diff) |
Merge branch 'pu/wait-lock' into 'master'
Pu/wait lock
See merge request apt-team/apt!109
Diffstat (limited to 'doc/examples/configure-index')
-rw-r--r-- | doc/examples/configure-index | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/examples/configure-index b/doc/examples/configure-index index cc70465d6..4e0bd57ae 100644 --- a/doc/examples/configure-index +++ b/doc/examples/configure-index @@ -551,6 +551,7 @@ Debug InstallProgress::Fancy "<BOOL>"; APT::Progress::PackageManagerFd "<BOOL>"; SetupAPTPartialDirectory::AssumeGood "<BOOL>"; + Locking "<BOOL>"; }; pkgCacheGen @@ -684,6 +685,7 @@ dpkg::selection::remove::approved "<BOOL>"; dpkg::remove::crossgrade::implicit "<BOOL>"; dpkg::selection::current::saveandrestore "<BOOL>"; dpkg::use-pty "<BOOL>"; +dpkg::lock::timeout "<INT>"; apt::cmd::disable-script-warning "<BOOL>"; apt::cmd::show-update-stats "<BOOL>"; |