summaryrefslogtreecommitdiff
path: root/src/Propellor/Property
diff options
context:
space:
mode:
authorDavid Bremner2018-10-07 21:53:29 -0300
committerDavid Bremner2018-10-08 09:56:52 -0300
commit80190c923ba28079ef23c4d630c9a7df3d4ee5c6 (patch)
tree1c4a42ac1f9f10f2fb1495917555072cb4ee2c63 /src/Propellor/Property
parent47b6df5b9dc5391e2dd1dd17e72559a798c0cdce (diff)
Add a DirectBoot bootloader type.
This doesn't actually do anything to the chroot in question, just marks it as needing to be boot directly, e.g. by some external kernel and initrd.
Diffstat (limited to 'src/Propellor/Property')
-rw-r--r--src/Propellor/Property/DirectBoot.hs7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/Propellor/Property/DirectBoot.hs b/src/Propellor/Property/DirectBoot.hs
new file mode 100644
index 00000000..4807471e
--- /dev/null
+++ b/src/Propellor/Property/DirectBoot.hs
@@ -0,0 +1,7 @@
+module Propellor.Property.DirectBoot(installed) where
+
+import Propellor.Base
+import Propellor.Types.Bootloader
+
+installed :: Property (HasInfo + UnixLike)
+installed = pureInfoProperty "direct boot" [DirectBoot]