diff options
author | David Kalnischkies <david@kalnischkies.de> | 2017-06-04 18:14:13 +0200 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2017-06-26 23:31:15 +0200 |
commit | fc2055e1e08e4e3b662b0c5f67a0d0a57267acd3 (patch) | |
tree | bf071ffd9f1beb27847ec62d7186e7f2902cad41 /doc/examples/configure-index | |
parent | d0eb158be03f15139eee65c4162c9c6e3be10718 (diff) |
avoid explicit types for pkg counts by auto
Changes nothing on the program front and as the datatypes are
sufficently comparable fixes no bug either, but problems later on if we
ever change the types of those and prevent us using types which are too
large for the values we want to store waste (a tiny bit of) resources.
Gbp-Dch: Ignore
Diffstat (limited to 'doc/examples/configure-index')
-rw-r--r-- | doc/examples/configure-index | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/examples/configure-index b/doc/examples/configure-index index eb0a242c5..aada67bf5 100644 --- a/doc/examples/configure-index +++ b/doc/examples/configure-index @@ -455,6 +455,12 @@ DPkg // controls if apt will apport on the first dpkg error or if it // tries to install as many packages as possible StopOnError "true"; + + Progress-Fancy { + progress-fg "<STRING>"; + progress-bg "<STRING>"; + progress-bar "<BOOL>"; + }; } /* Options you can set to see some debugging text They correspond to names |