diff options
| author | Joey Hess <joeyh@joeyh.name> | 2015-10-23 11:55:18 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-10-23 11:55:18 -0400 |
| commit | b66f8eecfc0a507c1fee38070885b94f84b49f7a (patch) | |
| tree | 988176d42e768c2edea3f5a50cc580892894e267 /src | |
| parent | a1183efbcb6a2a3f62027aa452c99ac3be17c6b8 (diff) | |
propellor spin
Diffstat (limited to 'src')
| -rw-r--r-- | src/Propellor/Property/DiskImage.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Propellor/Property/DiskImage.hs b/src/Propellor/Property/DiskImage.hs index 9da374c7..607c7b61 100644 --- a/src/Propellor/Property/DiskImage.hs +++ b/src/Propellor/Property/DiskImage.hs @@ -352,6 +352,7 @@ grubBooted bios = (Grub.installed' bios, boots) [ bindMount "/dev" (inmnt "/dev") , mounted "proc" "proc" (inmnt "/proc") , mounted "sysfs" "sys" (inmnt "/sys") + , inchroot "update-initramfs" ["-u"] -- work around for http://bugs.debian.org/802717 , check haveosprober $ inchroot "chmod" ["-x", osprober] , inchroot "update-grub" [] |