From 3f6585f6be35598fbd719e1009bf1137a6dba10e Mon Sep 17 00:00:00 2001 From: Daniel Barlow Date: Mon, 22 May 2023 00:27:41 +0100 Subject: [PATCH] mention min-copy-closure --- doc/user.rst | 17 +++++++++++++---- 1 file changed, 13 insertions(+), 4 deletions(-) diff --git a/doc/user.rst b/doc/user.rst index 3d19531..35eaa09 100644 --- a/doc/user.rst +++ b/doc/user.rst @@ -192,7 +192,6 @@ to the old configuration it finds in flash. Building the second (permanent) image ..................................... - While running in the kexecboot system, you can copy the permanent image to the device with :command:`ssh` @@ -205,7 +204,6 @@ Next you need to connect to the device and locate the "firmware" partition, which you can do with a combination of :command:`dmesg` output and the contents of :file:`/proc/mtd` - .. code-block:: console <5>[ 0.469841] Creating 4 MTD partitions on "spi0.0": @@ -273,6 +271,19 @@ Rebuilding the system liminix-rebuild root@the-device -I liminix-config=./examples/rotuer.nix --arg device "import ./devices/gl-ar750" +This will + +* build anything that needs building +* copy new or changed packages to the device +* reboot the device + +It doesn't delete old packages automatically: to do that run +:command:`min-collect-garbage`, which will delete any packages not in +the current system closure. Note that Liminix does not have the NixOS +concept of environments or generations, and there is no way back from +this except for building the previous configuration again. + + Caveats ~~~~~~~ @@ -284,8 +295,6 @@ Caveats * it cannot upgrade the kernel, only userland -* it reboots the device! - Configuration Options