diff options
author | Chris Lamb <chris@chris-lamb.co.uk> | 2008-08-07 22:05:08 +0100 |
---|---|---|
committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 19:03:37 +0100 |
commit | bb56b10384649bb97bbc42722115fa586a9b67a8 (patch) | |
tree | f08d1a76206dd6f7f44110fdbb68230f8148fd2b /Makefile | |
parent | 6538fac66feaa5cb7957013a29da704a09256e3f (diff) | |
download | live-build-bb56b10384649bb97bbc42722115fa586a9b67a8.zip live-build-bb56b10384649bb97bbc42722115fa586a9b67a8.tar.gz |
Ensure packages in config/chroot_local-packages override all others.
This reverts config/chroot_local-packages to almost original semantics by
giving any package in chroot_local-packages a priority of 1001, allowing
it to "downgrade" packages and generally override the standard APT sources.
I think this follows the idea of this directory more and is likely to be
more useful with this setup - rebuilding a package simply to bump a version
number or keeping a custom apt_preferences(5) file around kinda sucks,
especially as it is often used as a temporary workaround.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions