From 07dd3af9802a8e52991937fdddd4d3085c76df34 Mon Sep 17 00:00:00 2001 From: cvoges12 <38054771+cvoges12@users.noreply.github.com> Date: Mon, 25 Sep 2023 09:57:21 -0500 Subject: [PATCH] simple-efi example in HowTo.md to new disko API --- docs/HowTo.md | 53 +++++++++++++++++++++++---------------------------- 1 file changed, 24 insertions(+), 29 deletions(-) diff --git a/docs/HowTo.md b/docs/HowTo.md index c4a111f..e608364 100644 --- a/docs/HowTo.md +++ b/docs/HowTo.md @@ -113,37 +113,32 @@ or with pinning: { # checkout the example folder for how to configure different disko layouts disko.devices = { - disk.sda = { - device = "/dev/sda"; - type = "disk"; - content = { - type = "table"; - format = "gpt"; - partitions = [ - { - name = "ESP"; - start = "1MiB"; - end = "100MiB"; - bootable = true; - content = { - type = "filesystem"; - format = "vfat"; - mountpoint = "/boot"; + disk = { + vdb = { + device = "/dev/disk/by-id/some-disk-id"; + type = "disk"; + content = { + type = "gpt"; + partitions = { + ESP = { + type = "EF00"; + size = "100M"; + content = { + type = "filesystem"; + format = "vfat"; + mountpoint = "/boot"; + }; }; - } - { - name = "root"; - start = "100MiB"; - end = "100%"; - part-type = "primary"; - bootable = true; - content = { - type = "filesystem"; - format = "ext4"; - mountpoint = "/"; + root = { + size = "100%"; + content = { + type = "filesystem"; + format = "ext4"; + mountpoint = "/"; + }; }; - } - ]; + }; + }; }; }; };