From 3afcfae2bca8358858de849af27e3457cbfe2953 Mon Sep 17 00:00:00 2001 From: P. J. McDermott Date: Sat, 19 May 2018 01:54:25 -0400 Subject: do_apt_update(): Support configuring /etc/apt/preferences --- (limited to 'inst') diff --git a/inst b/inst index 5243c86..f9b97dd 100755 --- a/inst +++ b/inst @@ -273,6 +273,12 @@ do_apt_update() ${apt_sources} EOF + case "${apt_preferences+set}" in 'set') + sed 's/^\t*//;' >"${target}/etc/apt/preferences" <<-EOF + ${apt_preferences} + EOF + esac + in_target apt-get update || return 1 in_target apt-get -q -y dist-upgrade || return 1 in_target apt-get clean || return 1 -- cgit v0.9.1