summaryrefslogtreecommitdiff
path: root/doc/forum/parted:_invalid_token:_fat.mdwn
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!"