diff options
| author | Chris Lamb <chris@chris-lamb.co.uk> | 2008-08-14 01:38:24 +0100 |
|---|---|---|
| committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 19:03:39 +0100 |
| commit | 445de4d80aaa4050aabf1a518927ae7225760445 (patch) | |
| tree | f5306975283beb1ec717d2e94c66bb11b6bb708c | |
| parent | 6a4d709d135633da4758f1c690cfc310d4c6d911 (diff) | |
| download | live-build-445de4d80aaa4050aabf1a518927ae7225760445.zip live-build-445de4d80aaa4050aabf1a518927ae7225760445.tar.gz | |
Prevent (harmless) duplicate entries appearing in /etc/apt/preferences
| -rwxr-xr-x | helpers/lh_chroot_apt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/helpers/lh_chroot_apt b/helpers/lh_chroot_apt index 8564bf4..766875f 100755 --- a/helpers/lh_chroot_apt +++ b/helpers/lh_chroot_apt @@ -114,6 +114,11 @@ case "${1}" in if Find_files config/chroot_local-packages/*.deb then + if [ ! -f config/chroot_apt/preferences ] && [ "${1}" = "install-binary" ] + then + rm -f chroot/etc/apt/preferences + fi + echo >> chroot/etc/apt/preferences echo "Package: *" >> chroot/etc/apt/preferences echo "Pin: release o=chroot_local-packages" >> chroot/etc/apt/preferences |