liminix

commit 2838b556f4a09610d496c6ff61be3954114e3f53
parent 9e5965c3cc67cf3ba8d99a7ea27887f7a1e0628c
Author: Daniel Barlow <dan@telent.net>
Date:   Sun, 13 Sep 2026 19:07:57 +0100

tweak levitate docs

Diffstat:
M
doc/admin.adoc
 | 
24
+++++++++++++++++-------
M
pkgs/levitate/default.nix
 | 
1
+

2 files changed, 18 insertions(+), 7 deletions(-)
diff --git a/doc/admin.adoc b/doc/admin.adoc
@@ -156,7 +156,7 @@ To use this, build the `+outputs.updater+` target and then run the
 nix-build -I liminix-config=./my-configuration.nix \
    --arg device "import ./devices/mydevice" \
    -A outputs.updater
-./result/bin/update.sh root@the-device 
+./result/bin/update.sh root@the-device
 ----
 
 The update script uses min-copy-closure to copy new or changed packages
@@ -293,7 +293,7 @@ to `+/run/maintenance+`.
 
 [source,console]
 ----
-# levitate 
+# levitate
 ----
 
 Reboot into maintenance mode. You will be logged out
@@ -315,7 +315,7 @@ Check we're in maintenance mode
 
 [source,console]
 ----
-# cat /etc/banner 
+# cat /etc/banner
 
 LADIES AND GENTLEMEN WE ARE FLOATING IN SPACE
 
@@ -327,12 +327,22 @@ upgrades and maintenance.
 Don't forget to reboot when you have finished.
 ----
 
-Perform the upgrade, using flashcp. This is an example, your device will
-differ
+Get the image onto the device, somehow
 
 [source,console]
 ----
-# cat /proc/mtd 
+
+build$ cat result/firmware.bin | ssh -e none root@the-device "cat >/run/firmware.bin"
+----
+
+
+Now perform the upgrade, using flashcp. This is an example, your
+device will differ
+
+[source,console]
+----
+
+# cat /proc/mtd
 dev:    size   erasesize  name
 mtd0: 00030000 00010000 "u-boot"
 mtd1: 00010000 00010000 "u-boot-env"
@@ -341,7 +351,7 @@ mtd3: 00f80000 00010000 "firmware"
 mtd4: 00220000 00010000 "kernel"
 mtd5: 00d60000 00010000 "rootfs"
 mtd6: 00010000 00010000 "art"
-# flashcp -v firmware.bin mtd:firmware
+# flashcp -v /run/firmware.bin mtd:firmware
 ----
 
 All done
diff --git a/pkgs/levitate/default.nix b/pkgs/levitate/default.nix
@@ -93,4 +93,5 @@ writeScriptBin "levitate" ''
     (cd $destdir && cp -a $path .$path)
   done
   ${sysconfig}/bin/activate $destdir
+  echo Copied files for floating minisystem. Now reboot and reconnect. Host key will have changed
 ''