diff options
author | Riku Voipio <riku.voipio@linaro.org> | 2016-02-08 12:01:30 +0200 |
---|---|---|
committer | Riku Voipio <riku.voipio@linaro.org> | 2016-02-08 14:36:56 +0200 |
commit | a2ec237ecb473cbf2173ae7fa7b0affc0d8bab51 (patch) | |
tree | 1b00c27e7a8cdda4d6b27a3e374dd31049a0ca79 /jessie-arm64-developer | |
parent | 7d91ef74a9f3e75fdf36af9a220c3d8b809fd40d (diff) |
debian: change backport pin
Hidden in the live-build version we use:
# probably too bold, needs refinment (FIXME)
rm -f chroot/etc/apt/conf.d/*
rm -f chroot/etc/apt/preferences.d/*
live-build wants us to use repo.pref.{chroot,binary} snippets
over include.chroot changes.
Change-Id: Id72b2a5714d04d7b7411b9680ebb55b742748ad6
Signed-off-by: Riku Voipio <riku.voipio@linaro.org>
Diffstat (limited to 'jessie-arm64-developer')
-rw-r--r-- | jessie-arm64-developer/customization/archives/linaro-default-pins.pref.binary (renamed from jessie-arm64-developer/customization/includes.chroot/etc/apt/preferences.d/backports_pin) | 0 | ||||
-rw-r--r-- | jessie-arm64-developer/customization/archives/linaro-default-pins.pref.chroot | 3 |
2 files changed, 3 insertions, 0 deletions
diff --git a/jessie-arm64-developer/customization/includes.chroot/etc/apt/preferences.d/backports_pin b/jessie-arm64-developer/customization/archives/linaro-default-pins.pref.binary index 8e88fcc..8e88fcc 100644 --- a/jessie-arm64-developer/customization/includes.chroot/etc/apt/preferences.d/backports_pin +++ b/jessie-arm64-developer/customization/archives/linaro-default-pins.pref.binary diff --git a/jessie-arm64-developer/customization/archives/linaro-default-pins.pref.chroot b/jessie-arm64-developer/customization/archives/linaro-default-pins.pref.chroot new file mode 100644 index 0000000..8e88fcc --- /dev/null +++ b/jessie-arm64-developer/customization/archives/linaro-default-pins.pref.chroot @@ -0,0 +1,3 @@ +Package: *-mesa* libdrm-* libdrm2* openjdk-8-* +Pin: release a=jessie-backports +Pin-Priority: 500 |