summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--config-joey.hs3
-rw-r--r--src/Propellor/Property/Mount.hs2
2 files changed, 3 insertions, 2 deletions
diff --git a/config-joey.hs b/config-joey.hs
index 6ec80f92..ceabc252 100644
--- a/config-joey.hs
+++ b/config-joey.hs
@@ -84,8 +84,9 @@ darkstar = host "darkstar.kitenet.net"
& imageBuilt "/tmp/img" c MSDOS (grubBooted PC)
[ partition EXT2 `mountedAt` "/boot"
`setFlag` BootFlag
+ `addFreeSpace` MegaBytes 200
, partition EXT4 `mountedAt` "/"
- `addFreeSpace` MegaBytes 100
+ `addFreeSpace` MegaBytes 200
, swapPartition (MegaBytes 256)
]
where
diff --git a/src/Propellor/Property/Mount.hs b/src/Propellor/Property/Mount.hs
index 2496b1cc..a08f9e3b 100644
--- a/src/Propellor/Property/Mount.hs
+++ b/src/Propellor/Property/Mount.hs
@@ -150,7 +150,7 @@ findmntField field mnt = catchDefaultIO Nothing $
blkidTag :: String -> Source -> IO (Maybe String)
blkidTag tag dev = catchDefaultIO Nothing $
headMaybe . filter (not . null) . lines
- <$> readProcess "blkid" [dev, "-s", tag]
+ <$> readProcess "blkid" [dev, "-s", tag, "-o", "value"]
-- | Unmounts a device or mountpoint,
-- lazily so any running processes don't block it.