summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rwxr-xr-xbin/reproducible_setup_schroot.sh10
-rwxr-xr-xbin/schroot-create.sh11
2 files changed, 8 insertions, 13 deletions
diff --git a/bin/reproducible_setup_schroot.sh b/bin/reproducible_setup_schroot.sh
index 6bb181b8..d8772112 100755
--- a/bin/reproducible_setup_schroot.sh
+++ b/bin/reproducible_setup_schroot.sh
@@ -1,6 +1,6 @@
#!/bin/bash
-# Copyright 2012-2014 Holger Levsen <holger@layer-acht.org>
+# Copyright 2012-2015 Holger Levsen <holger@layer-acht.org>
# Copyright 2013 Antonio Terceiro <terceiro@debian.org>
# Copyright 2014 Joachim Breitner <nomeata@debian.org>
# released under the GPLv=2
@@ -27,12 +27,6 @@ shift
DISTRO="$1"
shift
-if [ "$1" == "backports" ] ; then
- BACKPORTS="deb $MIRROR ${DISTRO}-backports main"
- BACKPORTSSRC="deb-src $MIRROR ${DISTRO}-backports main"
- shift
-fi
-
if [ ! -d "$CHROOT_BASE" ]; then
echo "Directory $CHROOT_BASE does not exist, aborting."
exit 1
@@ -55,8 +49,6 @@ bootstrap() {
sudo chmod +x $CHROOT_TARGET/usr/sbin/policy-rc.d
echo "Acquire::http::Proxy \"$http_proxy\";" | sudo tee $CHROOT_TARGET/etc/apt/apt.conf.d/80proxy >/dev/null
echo "deb-src $MIRROR $DISTRO main" | sudo tee -a $CHROOT_TARGET/etc/apt/sources.list > /dev/null
- echo "${BACKPORTS}" | sudo tee -a $CHROOT_TARGET/etc/apt/sources.list >/dev/null
- echo "${BACKPORTSSRC}" | sudo tee -a $CHROOT_TARGET/etc/apt/sources.list >/dev/null
sudo chroot $CHROOT_TARGET apt-get update
if [ -n "$1" ] ; then
diff --git a/bin/schroot-create.sh b/bin/schroot-create.sh
index 5e7d8588..9de123ff 100755
--- a/bin/schroot-create.sh
+++ b/bin/schroot-create.sh
@@ -25,9 +25,12 @@ DISTRO="$1"
shift
if [ "$1" == "backports" ] ; then
- BACKPORTS="deb $MIRROR ${DISTRO}-backports main"
- BACKPORTSSRC="deb-src $MIRROR ${DISTRO}-backports main"
+ EXTRA_PACKAGES="deb $MIRROR ${DISTRO}-backports main"
+ EXTRA_SOURCES="deb-src $MIRROR ${DISTRO}-backports main"
shift
+elif [ "$1" == "reproducible" ] ; then
+ EXTRA_PACKAGES="deb http://reproducible.alioth.debian.org/debian/ ./"
+ EXTRA_SOURCES="deb-src http://reproducible.alioth.debian.org/debian/ ./"
fi
if [ ! -d "$CHROOT_BASE" ]; then
@@ -52,8 +55,8 @@ bootstrap() {
sudo chmod +x $CHROOT_TARGET/usr/sbin/policy-rc.d
echo "Acquire::http::Proxy \"$http_proxy\";" | sudo tee $CHROOT_TARGET/etc/apt/apt.conf.d/80proxy >/dev/null
echo "deb-src $MIRROR $DISTRO main" | sudo tee -a $CHROOT_TARGET/etc/apt/sources.list > /dev/null
- echo "${BACKPORTS}" | sudo tee -a $CHROOT_TARGET/etc/apt/sources.list >/dev/null
- echo "${BACKPORTSSRC}" | sudo tee -a $CHROOT_TARGET/etc/apt/sources.list >/dev/null
+ echo "${EXTRA_PACKAGES}" | sudo tee -a $CHROOT_TARGET/etc/apt/sources.list >/dev/null
+ echo "${EXTRA_SOURCES}" | sudo tee -a $CHROOT_TARGET/etc/apt/sources.list >/dev/null
sudo chroot $CHROOT_TARGET apt-get update
if [ -n "$1" ] ; then