diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-04-15 01:27:36 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-04-15 01:27:36 +0200 |
| commit | 7e2eeb1906fb58dc5732f42604628ad945603415 (patch) | |
| tree | d63737b31c105755118b196b93e50a01bcaab342 /bin | |
| parent | dd02ba46ef2fe267942cccb4973ca613ec396888 (diff) | |
| download | jenkins.debian.net-7e2eeb1906fb58dc5732f42604628ad945603415.tar.xz | |
chroot-run.sh: support backports in a less hackish way
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/chroot-run.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/bin/chroot-run.sh b/bin/chroot-run.sh index 7ca5122c..3f3793b1 100755 --- a/bin/chroot-run.sh +++ b/bin/chroot-run.sh @@ -22,18 +22,18 @@ if [ -z "$CHROOT_BASE" ]; then fi if [ $# -lt 2 ]; then - echo "usage: $0 DISTRO CMD [ARG1 ARG2 ...]" + echo "usage: $0 DISTRO [backports] CMD [ARG1 ARG2 ...]" exit 1 fi DISTRO="$1" -if [ "$DISTRO" == "wheezy+backports" ] ; then - # FIXME: this works but is a bit too hackish for my liking, ie it will break when jessie will be stable.. - DISTRO="wheezy" +shift + +if [ "$1" == "backports" ] ; then BACKPORTS="deb $MIRROR ${DISTRO}-backports main" BACKPORTSSRC="deb-src $MIRROR ${DISTRO}-backports main" + shift fi -shift if [ ! -d "$CHROOT_BASE" ]; then echo "Directory $CHROOT_BASE does not exist, aborting." |