diff options
| author | Joey Hess <joeyh@joeyh.name> | 2015-10-22 14:10:52 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-10-22 14:10:52 -0400 |
| commit | cc8fbeda82774f6c9a223a87187408496fcd0d2b (patch) | |
| tree | cac18ab6afcae783cfb765caea9a063d426b2bdd /config-joey.hs | |
| parent | e73f67c381d41c65f33fb94dccdcbb7b120ad9a8 (diff) | |
avoid grub install failure in chroot
Diffstat (limited to 'config-joey.hs')
| -rw-r--r-- | config-joey.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config-joey.hs b/config-joey.hs index 3fcf2289..815fe798 100644 --- a/config-joey.hs +++ b/config-joey.hs @@ -85,7 +85,7 @@ darkstar = host "darkstar.kitenet.net" [ partition EXT2 `mountedAt` "/boot" `setFlag` BootFlag , partition EXT4 `mountedAt` "/" `addFreeSpace` MegaBytes 100 -- , swapPartition (MegaBytes 256) - ] (grubBooted PC) -- (grubBooted PC) + ] (grubBooted PC) where c d = Chroot.debootstrapped (System (Debian Unstable) "amd64") mempty d & Apt.installed ["linux-image-amd64"] |