# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1331333309 -3600
# Node ID 1520163aea2d5808b07ec98deb6a235bf67ff05c
# Parent  7c73cbb203ecddbeeb448e2e1ecdb2bb5607c3de
Propagate environment variables to the user-makesources script.

diff -r 7c73cbb203ec -r 1520163aea2d user-postsetup
--- a/user-postsetup	Sun Oct 16 02:36:36 2011 +0200
+++ b/user-postsetup	Fri Mar 09 23:48:29 2012 +0100
@@ -44,7 +44,8 @@
         "$AS_USER" cp "$USERINSTALL_CODENAME/sources.list" "$PACKAGEROOT/etc/apt/"
 else
 	echo "Attempting to generate a repository definition for $USERINSTALL_CODENAME." 1>&2
-	"$AS_USER" "$THIS_DIR/user-makesources" "$PACKAGEROOT/etc/apt/sources.list" "$COUNTRY"
+	"$AS_USER" USERINSTALL_ID="$USERINSTALL_ID" USERINSTALL_CODENAME="$USERINSTALL_CODENAME" \
+		"$THIS_DIR/user-makesources" "$PACKAGEROOT/etc/apt/sources.list" "$COUNTRY"
 fi
 
 if [ "$AS_ROOT" ]; then