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 via email to