HackENS/liminix-fork
5
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

mention min-copy-closure

Browse source
This commit is contained in:
Daniel Barlow 2023-05-22 00:27:41 +01:00
parent e83b33686f
commit 3f6585f6be
1 changed files with 13 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
doc/user.rst
View file

@ -192,7 +192,6 @@ to the old configuration it finds in flash.
Building the second (permanent) image Building the second (permanent) image
..................................... .....................................
While running in the kexecboot system, you can copy the permanent While running in the kexecboot system, you can copy the permanent
image to the device with :command:`ssh` 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` partition, which you can do with a combination of :command:`dmesg`
output and the contents of :file:`/proc/mtd` output and the contents of :file:`/proc/mtd`
.. code-block:: console .. code-block:: console
<5>[ 0.469841] Creating 4 MTD partitions on "spi0.0": <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" 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 Caveats
~~~~~~~ ~~~~~~~
@ -284,8 +295,6 @@ Caveats
* it cannot upgrade the kernel, only userland * it cannot upgrade the kernel, only userland
* it reboots the device!
Configuration Options Configuration Options