josch

make_mirror.sh: workaround python being uninstallable since August 03 2020, see Debian bug #968217

......@@ -237,7 +237,7 @@ END
| grep-dctrl --no-field-names --show-field=Package --exact-match \
\( --field=Essential yes --or --field=Priority required \
--or --field=Priority important --or --field=Priority standard \
--or --field=Package build-essential \) )
--or --field=Package build-essential \) --and --not --field Package python )
pkgs="$(echo $pkgs) build-essential busybox gpg"
......