diff --git a/docs/_layouts/board.html b/docs/_layouts/board.html index 2c63f37..ebb4ea8 100644 --- a/docs/_layouts/board.html +++ b/docs/_layouts/board.html @@ -27,16 +27,16 @@ layout: default

Install instructions

-
+
-
+
{% assign x = site.debians | where: "arch", page.board_cpu_arch_debian | sort %} {% for debian in x %} @@ -48,8 +48,8 @@ layout: default zcat boot.bin.gz debian.bin.gz > sd-card.img
dd if=sd-card.img of=/dev/sdXXX # ...where /dev/sdXXX is your SD card

-{% if debian.os == "ubuntu" %} - +{% if debian.exp == true %} + {% endif %}

When the dd command is done, put the SD card in your board and power it on. The board will boot up and assign itself an IP address using DHCP. The last part of the Debian/Ubuntu image filename is the default root password ("PLACEHOLDER" for this image).

@@ -67,7 +67,7 @@ layout: default Name Type - Build + Build date Size @@ -82,9 +82,8 @@ layout: default {% for debian in x %} {% capture i %}{{ debian.os }}{{ debian.dist }}{{ debian.arch }}{% endcapture %} - - PLACEHOLDER {% if debian.os == "ubuntu" %}Experimental{% endif %} - {{ debian.os | capitalize }} {{ debian.dist | capitalize }} root filesystem image + PLACEHOLDER {% if debian.exp == true %}Experimental{% endif %} + {{ debian.name }} root filesystem image PLACEHOLDER PLACEHOLDER