From 7982cfe7954fa5601424036ca8ddf3dc6cf74375 Mon Sep 17 00:00:00 2001 From: Johan Gunnarsson Date: Sat, 20 Apr 2019 18:35:24 +0200 Subject: [PATCH] docs: Generate install instructions on client side --- docs/_layouts/board.html | 59 ++++++++++++++++++++++++++++++-------- docs/_layouts/default.html | 6 ++++ 2 files changed, 53 insertions(+), 12 deletions(-) diff --git a/docs/_layouts/board.html b/docs/_layouts/board.html index cc0fa57..724527d 100644 --- a/docs/_layouts/board.html +++ b/docs/_layouts/board.html @@ -27,27 +27,62 @@ layout: default

Install instructions

-

- - $ wget http://debimg.johang.se/boot/boot-raspberrypi_3b.bin.gz
- $ wget http://debimg.johang.se/debian/armhf/debian-armhf-stretch-XXXXXX.bin.gz
- $ zcat boot-raspberrypi_3b.bin.gz debian-armhf-stretch-XXXXXX.bin.gz > sd-card.img
- # dd if=sd-card.img of=/dev/sdXXX # ...where /dev/sdXXX is your SD card
-
+

+ wget http://debimg.johang.se/PLACEHOLDER1.bin.gz
+ wget http://debimg.johang.se/PLACEHOLDER2.bin.gz
+ 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

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 image filename is the default root password.


Downloads

-
+ + +
{% include digitalocean.html %}
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index 9d836fd..8df5221 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -20,6 +20,12 @@ .pill { border-radius: 50px; } + code.shell-root:before { + content: "# "; + } + code.shell-normal:before { + content: "$ "; + }