summaryrefslogtreecommitdiff
path: root/doc/forum
diff options
context:
space:
mode:
authorgueux2017-12-20 14:41:09 +0000
committeradmin2017-12-20 14:41:09 +0000
commitbae335713bcf73c3b598b426f5dcd59bba51d089 (patch)
tree4c625736c8cfe252521fee3c96d5d8b531687ce9 /doc/forum
parent5031b59691da7f8fa6d25e39b813780caaa91f2e (diff)
Diffstat (limited to 'doc/forum')
-rw-r--r--doc/forum/parted:_invalid_token:_fat.mdwn37
1 files changed, 37 insertions, 0 deletions
diff --git a/doc/forum/parted:_invalid_token:_fat.mdwn b/doc/forum/parted:_invalid_token:_fat.mdwn
new file mode 100644
index 00000000..d5e5f532
--- /dev/null
+++ b/doc/forum/parted:_invalid_token:_fat.mdwn
@@ -0,0 +1,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!"