From c7a55b24553065b2661373e4c6db251eb3b04ee3 Mon Sep 17 00:00:00 2001
From: Franck Cuny <franck@fcuny.net>
Date: Fri, 23 Jan 2026 10:01:10 -0800
Subject: update documentation for creating an ISO

---
 README.org       | 10 ++++++++++
 machines/iso.nix |  2 +-
 2 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/README.org b/README.org
index 0a06f13..dac91fb 100644
--- a/README.org
+++ b/README.org
@@ -138,3 +138,13 @@ Then:
 #+begin_src shell
 psql -U postgres -h localhost -p 35432
 #+end_src
+** Build the ISO
+To install nixos, we can build our own iso. For this, run:
+#+begin_src shell
+just build-iso
+#+end_src
+
+If you need to install this on a USB drive, use the Samsung disk for this. Follow these steps:
+- =diskutil list= to identify the disk (e.g. =/dev/disk5=)
+- =diskutil unmountDisk /dev/disk5= to un-mount the drive
+- =sudo dd if=result/iso/nixos-minimal-25.11git.30a3c519afc-x86_64-linux.iso of=/dev/rdisk5 status=progress=
diff --git a/machines/iso.nix b/machines/iso.nix
index 4d54054..093bda2 100644
--- a/machines/iso.nix
+++ b/machines/iso.nix
@@ -13,7 +13,7 @@
   boot.loader.grub.efiInstallAsRemovable = true;
   boot.loader.grub.device = "nodev";
 
-  system.stateVersion = "25.05"; # Did you read the comment?
+  system.stateVersion = "25.11";
 
   programs.fish.enable = true;
 
-- 
cgit v1.2.3