diff options
| author | Joey Hess <joeyh@joeyh.name> | 2017-07-05 17:29:19 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-07-05 17:29:19 -0400 |
| commit | 9648e1797f7f08b3465f6c301404ee0555c20881 (patch) | |
| tree | 9273d7a1b1e6ae2223aac05bbb6f8afc162845ba /src/Propellor/Property/DiskImage.hs | |
| parent | 9d6c50fff28ed5ba7da7fdd2989c7773e357a3c3 (diff) | |
| parent | 3451ca8beeb58a3bdd864cd1009ba9f0e314b442 (diff) | |
Merge branch 'joeyconfig'
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, |