Generated.

[homepage.git] / blog / archive / 2013 / 10 / index.html

diff --git a/blog/archive/2013/10/index.html b/blog/archive/2013/10/index.html
index 9a2df1e2349ab204dfc733d53fa9041fda62e386..e09e062fb3ace9811b974e8f56e565ad8213c381 100644 (file)
--- a/blog/archive/2013/10/index.html
+++ b/blog/archive/2013/10/index.html
@@ -76,7 +76,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