summaryrefslogtreecommitdiff
path: root/config-joey.hs
diff options
context:
space:
mode:
authorJoey Hess2015-09-03 07:21:49 -0700
committerJoey Hess2015-09-03 07:21:49 -0700
commit55b925a6e0e5a27a964d9b80cd64d519cda7ae3d (patch)
tree645c0508b359cfddacc6ce9286e1a3aa9846cf75 /config-joey.hs
parent00ce4591aacfc2c16d8a3204ebd5dd0fc52d5825 (diff)
partition setup dsl
Diffstat (limited to 'config-joey.hs')
-rw-r--r--config-joey.hs11
1 files changed, 5 insertions, 6 deletions
diff --git a/config-joey.hs b/config-joey.hs
index bfd14d7e..75150184 100644
--- a/config-joey.hs
+++ b/config-joey.hs
@@ -80,15 +80,14 @@ darkstar = host "darkstar.kitenet.net"
& JoeySites.postfixClientRelay (Context "darkstar.kitenet.net")
& JoeySites.dkimMilter
- & imageBuilt "/tmp/img" c ps noFinalization -- (grubBooted PC)
+ & imageBuilt "/tmp/img" c MSDOS
+ [ mkPartition EXT2 `setFlag` BootFlag `mountedAt` "/boot"
+ , mkPartition EXT4 `addFreeSpace` MegaBytes 100 `mountedAt` "/"
+ , swapPartition (MegaBytes 256)
+ ] noFinalization -- (grubBooted PC)
where
c d = Chroot.debootstrapped (System (Debian Unstable) "amd64") mempty d
& Apt.installed ["linux-image-amd64"]
- ps = fitChrootSize MSDOS
- [ mkPartition EXT2 `mountedAt` "/boot"
- , mkPartition EXT4 `mountedAt` "/"
- , swapPartition (MegaBytes 256)
- ]
gnu :: Host
gnu = host "gnu.kitenet.net"