diff options
| author | Julian Andres Klode <jak@debian.org> | 2021-11-17 17:22:00 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2021-11-17 17:22:00 +0000 |
| commit | 16706bbae1a1168bd327ce1587b63d9353bab144 (patch) | |
| tree | 11b77ce7cf551b65e3fe3fcedadc71e1e7f49781 /doc | |
| parent | 68a6dffed6ad5e5dc4ac01319b31843951d0eb21 (diff) | |
| parent | 891efe3b201a104445ea723a3a5b9b434a78c364 (diff) | |
Merge branch 'pu/essential-removal' into 'main'
Do not remove Essential/Protected due to dependencies
See merge request apt-team/apt!198
Diffstat (limited to 'doc')
| -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 f05981045..ce51153c3 100644 --- a/doc/examples/configure-index +++ b/doc/examples/configure-index @@ -74,6 +74,7 @@ APT Allow-Downgrades "<BOOL>"; Allow-Change-Held-Packages "<BOOL>"; Allow-Remove-Essential "<BOOL>"; + Allow-Solver-Remove-Essential "<BOOL>"; Assume-Yes "<BOOL>"; // not as dangerous, but use with care still Assume-No "<BOOL>"; Trivial-Only "<BOOL>"; |