summaryrefslogtreecommitdiff
path: root/src/Propellor/Property/Installer.hs
diff options
context:
space:
mode:
authorJoey Hess2017-12-30 13:24:32 -0400
committerJoey Hess2017-12-30 13:24:32 -0400
commitb9f9692a7d847c8d71f42754b0a9775416ab4cf3 (patch)
treec0cf16bae65866c700f5796579af2c3a8508745e /src/Propellor/Property/Installer.hs
parenta87a740930be75b50e7ea23d58aa2e657880da66 (diff)
installer
Added Propellor.Property.Installer modules, which can be used to create bootable installer disk images, which then run propellor to install a system. This code was extracted from the demo I gave at my talk at DebConf 2017, from the secret-project repository. That repository was AGPL licensed. I hereby relicense the code committed here under the same 2-clause BSD license as the rest of propellor. Changes from secret-project: Generalized UserInput to a type class, and added a lot more documentation and examples. This commit was sponsored by Brock Spratlen on Patreon.
Diffstat (limited to 'src/Propellor/Property/Installer.hs')
-rw-r--r--src/Propellor/Property/Installer.hs17
1 files changed, 17 insertions, 0 deletions
diff --git a/src/Propellor/Property/Installer.hs b/src/Propellor/Property/Installer.hs
new file mode 100644
index 00000000..c3558363
--- /dev/null
+++ b/src/Propellor/Property/Installer.hs
@@ -0,0 +1,17 @@
+-- | Installer disk image generation
+--
+-- These modules contain properties that can be used to create a disk
+-- image, suitable for booting from removable media, that can perform an
+-- interactive or non-interactive installation of a Host's internal disk.
+--
+-- The disk image is created using propellor. When booted, it runs
+-- propellor to install to the desired disk.
+--
+-- There is no user interface included here. For an example of using
+-- this to build a full, interactive installer, see
+-- <https://git.joeyh.name/index.cgi/secret-project.git/>
+
+module Propellor.Property.Installer (module X) where
+
+import Propellor.Property.Installer.Types as X
+import Propellor.Property.Installer.Target as X