diff options
author | Chris Lamb <chris@chris-lamb.co.uk> | 2008-08-14 01:39:21 +0100 |
---|---|---|
committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 19:03:39 +0100 |
commit | 3732c2c4bbccd313145dbeb71c9d34965ba133e3 (patch) | |
tree | 4fd414da873df3056197f1779b22d62971688a13 /helpers | |
parent | 1010bcc390ca344239ce7aaedf6a84d0a03ad2f7 (diff) | |
download | live-build-3732c2c4bbccd313145dbeb71c9d34965ba133e3.zip live-build-3732c2c4bbccd313145dbeb71c9d34965ba133e3.tar.gz |
Add informational comments to generated /etc/apt/preferences stanzas.
Diffstat (limited to 'helpers')
-rwxr-xr-x | helpers/lh_chroot_apt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/helpers/lh_chroot_apt b/helpers/lh_chroot_apt index 766875f..62a0908 100755 --- a/helpers/lh_chroot_apt +++ b/helpers/lh_chroot_apt @@ -120,6 +120,7 @@ case "${1}" in fi echo >> chroot/etc/apt/preferences + echo "# Added by lh_chroot_apt ${@}" >> chroot/etc/apt/preferences echo "Package: *" >> chroot/etc/apt/preferences echo "Pin: release o=chroot_local-packages" >> chroot/etc/apt/preferences @@ -184,6 +185,7 @@ case "${1}" in then # Ensure local packages are not replaced. echo >> chroot/etc/apt/preferences + echo "# Added by lh_chroot_apt ${@}" >> chroot/etc/apt/preferences echo "Package: *" >> chroot/etc/apt/preferences echo "Pin: release o=chroot_local-packages" >> chroot/etc/apt/preferences echo "Pin-Priority: 99" >> chroot/etc/apt/preferences |