manuel
/
live-build
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

chroot_apt: fixed adding Pin-Priority (broken in da1fab11) 

Fixes !201
This commit is contained in:
Victor Gavro 2020-05-19 02:14:20 +03:00 committed by Raphaël Hertzog
parent 56186add3c
commit 990dcf2eed
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/build/chroot_apt
View File

@ -121,11 +121,11 @@ case "${_ACTION}" in
then
CHROOT_FILE="chroot/etc/apt/preferences"
echo >> ${CHROOT_FILE}
echo "# Added by lb_chroot_apt ${@}" >> ${CHROOT_FILE}
echo "# Added by lb_chroot_apt ${_ACTION} ${@}" >> ${CHROOT_FILE}
echo "Package: *" >> ${CHROOT_FILE}
echo "Pin: release o=config/packages.chroot" >> ${CHROOT_FILE}
case "${1}" in
case "${_ACTION}" in
install)
# Ensure local packages have priority
echo "Pin-Priority: 1001" >> ${CHROOT_FILE}