Generated.

[homepage.git] / blog / Teaching_vmdebootstrap_to_create_Raspberry_Pi_SD_card_images.html

diff --git a/blog/Teaching_vmdebootstrap_to_create_Raspberry_Pi_SD_card_images.html b/blog/Teaching_vmdebootstrap_to_create_Raspberry_Pi_SD_card_images.html
index d53ca3f3fec40cd648d4d150848494fae84a0afe..81ffab1f7a0a7fc731b2a7c56d535ebfb5332501 100644 (file)
--- a/blog/Teaching_vmdebootstrap_to_create_Raspberry_Pi_SD_card_images.html
+++ b/blog/Teaching_vmdebootstrap_to_create_Raspberry_Pi_SD_card_images.html
@@ -69,7 +69,7 @@ list:</p>
 set -e # Exit on first error
 rootdir="$1"
 cd "$rootdir"
-cat <<EOF > etc/apt/sources.list
+cat &lt;&lt;EOF > etc/apt/sources.list
 deb http://http.debian.net/debian/ jessie main contrib non-free
 EOF
 # Install non-free binary blob needed to boot Raspberry Pi.  This