From 413b82da73524b876a53ac7de5c5548578817764 Mon Sep 17 00:00:00 2001 From: Steve McIntyre Date: Tue, 15 Nov 2016 06:57:45 +0000 Subject: [PATCH] Remove obsolete dedicated_source script --- debian/changelog | 1 + tools/dedicated_source | 39 --------------------------------------- 2 files changed, 1 insertion(+), 39 deletions(-) delete mode 100755 tools/dedicated_source diff --git a/debian/changelog b/debian/changelog index ba3f0c18..3da46750 100644 --- a/debian/changelog +++ b/debian/changelog @@ -4,6 +4,7 @@ debian-cd (3.1.19) UNRELEASED; urgency=medium * Also fix size calculation for EFI image for arm64 * Add workaround for dosfstools issue (#823881) * Add support for adding backports into a build + * Remove obsolete dedicated_source script [ Cyril Brulebois ] * Only export WGET_OPTS="--ca-directory /etc/ssl/ca-debian/" when this diff --git a/tools/dedicated_source b/tools/dedicated_source deleted file mode 100755 index 94657866..00000000 --- a/tools/dedicated_source +++ /dev/null @@ -1,39 +0,0 @@ -#!/bin/sh -# -# Quick hack - add extra sources for this arch onto the last *binary* CD -# Initially written for the unofficial amd64 CDs in sarge... -# - -set -e - -BDIR=$1 -ARCH=$2 -BASEDIR=$3 -CODENAME=$4 -MIRROR=$5 - -SOURCE_LIST=$BASEDIR/data/$CODENAME/$ARCH/extra-sources -DISKNUM=`ls -l $BDIR/?.packages $BDIR/??.packages | wc -l | tr -d " "` -SOURCES=`ls -1 $MIRROR/dists/$CODENAME/*/source/Sources.gz` - -echo "dedicated_source: Need to add the following sources to $ARCH CD#$DISKNUM:" - -mkdir $BDIR/CD$DISKNUM/extra-sources -for SRC in `grep -v ^# $SOURCE_LIST` -do - echo "$SRC:" - FILES=`zcat $SOURCES | awk -v SOURCE=$SRC ' - /^Package:/ { if ($2 == SOURCE) { found=1 } } - /^Directory:/ { DIR=$2 } - /^ / { if (found) { printf(" %s/%s\n",DIR,$3) }} - /^$/ {found=0} -'` - for FILE in $FILES - do - echo " $FILE" - cp -al $MIRROR/$FILE $BDIR/CD$DISKNUM/extra-sources - done -done - -exit 0 -