diff options
| author | Joey Hess <joeyh@joeyh.name> | 2017-07-05 16:01:55 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-07-05 16:01:55 -0400 |
| commit | c282a894b56012ae4f68b518e5fad01052ac4f22 (patch) | |
| tree | da7e10201ef684efffefd8e10e59278fca3b565f /src/Propellor/Property/DiskImage.hs | |
| parent | 4cbaa3ac665786fb0be4aa3121c6e6c447142d24 (diff) | |
XFCE and applyPath properties
* Propellor.Property.XFCE added with some useful properties for the
desktop environment.
* Added File.applyPath property.
This commit was sponsored by Riku Voipio.
Diffstat (limited to 'src/Propellor/Property/DiskImage.hs')
| -rw-r--r-- | src/Propellor/Property/DiskImage.hs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/Propellor/Property/DiskImage.hs b/src/Propellor/Property/DiskImage.hs index d5898d7c..89a8d0c6 100644 --- a/src/Propellor/Property/DiskImage.hs +++ b/src/Propellor/Property/DiskImage.hs @@ -49,7 +49,11 @@ type DiskImage = FilePath -- First the specified Chroot is set up, and its properties are satisfied. -- -- Then, the disk image is set up, and the chroot is copied into the --- appropriate partition(s) of it. +-- appropriate partition(s) of it. +-- +-- The partitions default to being sized just large enough to fit the files +-- from the chroot. You can use `addFreeSpace` to make them a bit larger +-- than that, or `setSize` to use a fixed size. -- -- Note that the disk image file is reused if it already exists, -- to avoid expensive IO to generate a new one. And, it's updated in-place, |