From b9f9692a7d847c8d71f42754b0a9775416ab4cf3 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Sat, 30 Dec 2017 13:24:32 -0400 Subject: 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. --- src/Propellor/Property/Installer.hs | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 src/Propellor/Property/Installer.hs (limited to 'src/Propellor/Property/Installer.hs') 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 +-- + +module Propellor.Property.Installer (module X) where + +import Propellor.Property.Installer.Types as X +import Propellor.Property.Installer.Target as X -- cgit v1.3-2-g0d8e