diff options
| author | Joey Hess <joeyh@joeyh.name> | 2015-09-03 08:38:07 -0700 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-09-03 08:38:07 -0700 |
| commit | 30a60f8b288b2007d10f08b94ce17bdb91e586bb (patch) | |
| tree | 30ba5eb0897cc3f02d9c9bad1ea26c8244ea8a03 /config-joey.hs | |
| parent | 55b925a6e0e5a27a964d9b80cd64d519cda7ae3d (diff) | |
improve types for PartSpec DSL
Diffstat (limited to 'config-joey.hs')
| -rw-r--r-- | config-joey.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config-joey.hs b/config-joey.hs index 75150184..2bb2f1bd 100644 --- a/config-joey.hs +++ b/config-joey.hs @@ -81,8 +81,8 @@ darkstar = host "darkstar.kitenet.net" & JoeySites.dkimMilter & imageBuilt "/tmp/img" c MSDOS - [ mkPartition EXT2 `setFlag` BootFlag `mountedAt` "/boot" - , mkPartition EXT4 `addFreeSpace` MegaBytes 100 `mountedAt` "/" + [ partition EXT2 `mountedAt` "/boot" `setFlag` BootFlag + , partition EXT4 `mountedAt` "/" `addFreeSpace` MegaBytes 100 , swapPartition (MegaBytes 256) ] noFinalization -- (grubBooted PC) where |