Bug#968671: a missing local 'Release' file for debian-installer
Package: debian-cd
Version: 3.1.29
Severity: minor
Tags: patch
Dear Maintainer,
It seems that the 'Release' file is not copied (in tools/start_new_disc)
under dists/$CODENAME/local/debian-installer/binary-$ARCH.
I hope the patch below would help !
Regards,
JH Chatenet
diff -Naur a/debian-cd/tools/start_new_disc b/debian-cd/tools/start_new_disc
--- a/debian-cd/tools/start_new_disc 2020-01-24 16:21:24.000000000 +0100
+++ b/debian-cd/tools/start_new_disc 2020-08-07 10:49:41.171088573 +0200
@@ -451,6 +451,13 @@
sed -i "s/^Archive:.*$/Archive: stable/" dists/$CODENAME/main/debian-installer/binary-$ARCH/Release
fi
fi
+
+ if [ -n "$LOCAL" -a -e "${LOCALDEBS:-$MIRROR}/dists/$DI_CODENAME/local/debian-installer/binary-$ARCH/Release" ] ; then
+ mkdir -p dists/$CODENAME/local/debian-installer/binary-$ARCH
+ cp "${LOCALDEBS:-$MIRROR}/dists/$DI_CODENAME/local/debian-installer/binary-$ARCH/Release" \
+ dists/$CODENAME/local/debian-installer/binary-$ARCH/
+ fi
+
done
# Copying individual release files for backports
Reply to: