blob: d5e5f5327af33f106efe803a7c0f67b3897c32db (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
I'm trying to add a fat32 partition for /boot/efi to my router image. Here is the relevant config:
router = host hn $ props
& hasPartitionTableType GPT
& hasPartition
( partition FAT
`mountedAt` "/boot/efi"
`partLocation` Beginning
`setSize` MegaBytes 10
`setFlag` BootFlag
)
& hasPartition
( partition EXT2
`mountedAt` "/boot"
`partLocation` Beginning
`setSize` MegaBytes 150
)
& hasPartition
( partition EXT4
`mountedAt` "/"
`addFreeSpace` MegaBytes 500
)
& standardSystem (Stable "stretch") X86_64
[ dom ++ " home router" ]
But parted does not seem to support "fat" as a file system type.
parted: invalid token: fat
Error: Expecting a file system type.
It should probably use "fat32" instead, but replacing "fat" by "fat32" in the PartedVal instance of Partition.Fs fails, too:
mount: /tmp/mnteepFPo: wrong fs type, bad option, bad superblock on /dev/mapper/loop0p1, missing codepage or helper program, or other error.
umount: /tmp/mnteepFPo: not mounted.
** fatal error: failed unmounting /tmp/mnteepFPo
propellor: StopPropellorException "Cannot continue!"
|
