diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/build/chroot_archives | 37 | 
1 files changed, 37 insertions, 0 deletions
diff --git a/scripts/build/chroot_archives b/scripts/build/chroot_archives index 27c8acc83..da8417ef0 100755 --- a/scripts/build/chroot_archives +++ b/scripts/build/chroot_archives @@ -229,6 +229,15 @@ EOF  					fi  				done +				# Adding apt configuration (chroot) +				for _FILE in "${_BASE}/archives/${REPOSITORY}.conf" "${_BASE}/archives/${REPOSITORY}.conf.chroot" +				do +					if [ -e "${_FILE}" ] +					then +						cp "${_FILE}" "chroot/etc/apt/conf.d/${REPOSITORY}.conf" +					fi +				done +  				# Adding apt preferences (chroot)  				for _FILE in "${_BASE}/archives/${REPOSITORY}.pref" "${_BASE}/archives/${REPOSITORY}.pref.chroot"  				do @@ -271,6 +280,15 @@ EOF  			fi  		done +		# Adding local apt configuration (chroot) +		for FILE in config/archives/*.conf config/archives/*.conf.chroot +		do +			if [ -e "${FILE}" ] +			then +				cp ${FILE} chroot/etc/apt/conf.d/$(basename ${FILE} .chroot) +			fi +		done +  		# Adding local apt preferences (chroot)  		for FILE in config/archives/*.pref config/archives/*.pref.chroot  		do @@ -742,6 +760,7 @@ EOF  		fi  		# probably too bold, needs refinment (FIXME) +		rm -f chroot/etc/apt/conf.d/*  		rm -f chroot/etc/apt/preferences.d/*  		# Configure third-party archives @@ -771,6 +790,15 @@ EOF  					fi  				done +				# Adding apt configuration (binary) +				for _FILE in "${_BASE}/archives/${REPOSITORY}.conf" "${_BASE}/archives/${REPOSITORY}.conf.binary" +				do +					if [ -e "${_FILE}" ] +					then +						cp "${_FILE}" "chroot/etc/apt/conf.d/${REPOSITORY}.conf" +					fi +				done +  				# Adding apt preferences (binary)  				for _FILE in "${_BASE}/archives/${REPOSITORY}.pref" "${_BASE}/archives/${REPOSITORY}.pref.binary"  				do @@ -813,6 +841,15 @@ EOF  			fi  		done +		# Adding local apt configuration (binary) +		for FILE in config/archives/*.conf config/archives/*.conf.binary +		do +			if [ -e "${FILE}" ] +			then +				cp ${FILE} chroot/etc/apt/conf.d/$(basename ${FILE} .binary) +			fi +		done +  		# Adding local apt preferences (binary)  		for FILE in config/archives/*.pref config/archives/*.pref.binary  		do  | 
