From c3559a9b9f20261fb5b9d53c5b962e900ca398a2 Mon Sep 17 00:00:00 2001 From: Johan Gunnarsson Date: Tue, 6 Jun 2023 12:00:16 +0200 Subject: [PATCH] docs: Use new name and experimental parameter --- docs/_layouts/board.html | 17 ++++++++--------- 1 file changed, 8 insertions(+), 9 deletions(-) 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