diff options
| author | Joey Hess <joeyh@joeyh.name> | 2015-09-03 07:21:49 -0700 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-09-03 07:21:49 -0700 |
| commit | 55b925a6e0e5a27a964d9b80cd64d519cda7ae3d (patch) | |
| tree | 645c0508b359cfddacc6ce9286e1a3aa9846cf75 /config-joey.hs | |
| parent | 00ce4591aacfc2c16d8a3204ebd5dd0fc52d5825 (diff) | |
partition setup dsl
Diffstat (limited to 'config-joey.hs')
| -rw-r--r-- | config-joey.hs | 11 |
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" |