diff options
author | Julian Andres Klode <jak@debian.org> | 2021-01-08 20:48:38 +0000 |
---|---|---|
committer | Julian Andres Klode <jak@debian.org> | 2021-01-08 20:48:38 +0000 |
commit | 2ba639f71736067b53903f11c8c75e9701972c3f (patch) | |
tree | 979d87e4f479100dda85f65452eba90fb4053b41 /doc/examples | |
parent | d35d51ddbdc75512a73e713972f4bbb5a1fd73ae (diff) | |
parent | c7123bea6a8dc2c9e327ce41ddfc25e29f1bb145 (diff) |
Merge branch 'pu/apt-update-error-modes' into 'master'
Implement update --error-on=any
See merge request apt-team/apt!150
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 5ddf4132c..ecd54b6ba 100644 --- a/doc/examples/configure-index +++ b/doc/examples/configure-index @@ -166,6 +166,7 @@ APT { Pre-Invoke {"touch /var/lib/apt/pre-update-stamp"; }; Post-Invoke {"touch /var/lib/apt/post-update-stamp"; }; + Error-Mode "<STRING>"; }; /* define a new supported compressor on the fly |