From e536e257f5d5f5265bb5910e04d9a7e05ad63a54 Mon Sep 17 00:00:00 2001
From: Gardais Jeremy <jeremy.gardais@univ-rennes1.fr>
Date: Fri, 29 Jul 2016 15:53:20 +0200
Subject: [PATCH] Correct typo

---
 scripts/download_debian.sh | 19 +++++++++----------
 1 file changed, 9 insertions(+), 10 deletions(-)

diff --git a/scripts/download_debian.sh b/scripts/download_debian.sh
index fe11bef..6367e3b 100755
--- a/scripts/download_debian.sh
+++ b/scripts/download_debian.sh
@@ -13,10 +13,8 @@ TFTP_ROOT="/var/lib/tftpboot"
 CONFIG_PXE="${TFTP_ROOT}/installer/debian/menu.cfg.example"
 rm -f ${CONFIG_PXE} && touch ${CONFIG_PXE}
 
-for DISTRO in jessie stretch wheezy sid; do	# For ALL Debian's version
-	for ARCH in amd64 i386; do					# For all classic architecture
-		# Config file
-		echo "label install" >> "${CONFIG_PXE}"
+for DISTRO in jessie stretch wheezy sid; do # For ALL Debian's version
+	for ARCH in amd64 i386; do            # For all classic architecture
 
 		# Create and go into directory
 		mkdir -p ${TFTP_ROOT}/installer/debian/${DISTRO}/${ARCH}
@@ -29,24 +27,25 @@ for DISTRO in jessie stretch wheezy sid; do	# For ALL Debian's version
 
 		# Config file
 		/bin/cat >> "${CONFIG_PXE}" << EOF
-		menu label Debian GNU/Linux ${DISTRO} ^${ARCH} bits
-		kernel installer/debian/${DISTRO}/${ARCH}/linux
-		append vga=normal initrd=installer/debian/${DISTRO}/${ARCH}/initrd.gz -- quiet
+label ${DISTRO}${ARCH}
+  menu label Debian GNU/Linux ${DISTRO} ^${ARCH} bits
+  kernel installer/debian/${DISTRO}/${ARCH}/linux
+  append vga=normal initrd=installer/debian/${DISTRO}/${ARCH}/initrd.gz -- quiet
 EOF
 	done
 
 	# Config file
 	/bin/cat >> "${CONFIG_PXE}" << EOF
 label separator
-		menu label ---
+  menu label ---
 EOF
 done
 
 # Config file
 /bin/cat >> "${CONFIG_PXE}" << EOF
 label mainmenu
-		menu label ^Back...
-		menu exit
+  menu label ^Back...
+  menu exit
 EOF
 
 exit 0