summaryrefslogtreecommitdiff
path: root/src/Propellor/Property
AgeCommit message (Collapse)Author
2017-02-26use val instead of showJoey Hess
2017-02-26fix minor bug in pval (MegaBytes 0)Joey Hess
2017-02-26use ConfigurableValue where applicableJoey Hess
* Removed fromPort (use val instead). (API change) * Removed several Show instances that were only used for generating configuration, replacing with ConfigurableValue instances. (API change) It's somewhat annoying that IsInfo requires a Show instance. That's needed to be able to display Info in ghci, but some non-derived Show instances had to be kept to support that.
2017-02-26Added ConfigurableValue type classJoey Hess
* Added ConfigurableValue type class, for values that can be used in a config file, or to otherwise configure a program. * The val function converts such values to String. This was motivated by the bug caused by type Port = Int changing to newtype Port = Port Int deriving Show After that change, some things that used show port to generate config files were broken. By using the ConfigurableValue type class instead, such breakage can be prevented.
2017-02-20Merge branch 'joeyconfig'Joey Hess
2017-02-20Tor bugfix: use fromPort instead of showFélix Sipma
2017-02-15more arches for stackInstalledJoey Hess
There is no armel build, unfortunately; the "arm" build is armhf at least currently.
2017-02-13deb.debian.orgJoey Hess
* Apt: Removed the mirrors.kernel.org line from stdSourcesList etc. The mirror CDN has a new implementation that should avoid the problems with httpredir that made an extra mirror sometimes be needed. * Switch Debian CDN address to deb.debian.org. httpredir.debian.org points to the same IPs as deb.debian.org now, so this shouldn't change anything except to use the now preferred name.
2017-02-07releasing package propellor version 3.3.0Joey Hess
2017-02-04Merge remote-tracking branch 'spwhitton/pin'Joey Hess
2017-02-04add missing case for ArchLinuxJoey Hess
2017-02-04Merge remote-tracking branch 'wzhd/archlinux'Joey Hess
2017-02-04AptPrefPackage -> AptPackagePrefSean Whitton
This reads much better: it's an "apt package preference".
2017-02-04Apt.pinnedTo takes a list of suites and pin prioritiesSean Whitton
2017-02-04factor out suitePinBlockSean Whitton
2017-02-04rm superfluous TODOSean Whitton
2017-02-04get rid of a compile-time errorZihao Wang
Signed-off-by: Zihao Wang <dev@wzhd.org>
2017-02-04replace Linux with DebianLike to compile DiskImageZihao Wang
Signed-off-by: Zihao Wang <dev@wzhd.org>
2017-02-04CloudAtCost requires User.nuked to be Property LinuxZihao Wang
Signed-off-by: Zihao Wang <dev@wzhd.org>
2017-02-04cleanInstallOnce supports DebianLike onlyZihao Wang
because of User.shadowConfig Signed-off-by: Zihao Wang <dev@wzhd.org>
2017-02-04add tightenTargetsZihao Wang
probably because of "now :: Property Linux" Signed-off-by: Zihao Wang <dev@wzhd.org>
2017-02-04make pattern-matching exhaustiveZihao Wang
Signed-off-by: Zihao Wang <dev@wzhd.org>
2017-02-04add some support for Arch Linux to PartedZihao Wang
Signed-off-by: Zihao Wang <dev@wzhd.org>
2017-02-04extend Rsync to support ArchLinuxZihao Wang
Signed-off-by: Zihao Wang <dev@wzhd.org>
2017-02-04addArchLinux support to Docker.installedZihao Wang
Signed-off-by: Zihao Wang <dev@wzhd.org>
2017-02-03add property for PacmanZihao Wang
Signed-off-by: Zihao Wang <dev@wzhd.org>
2017-02-02add Explanation: lines to pref filesSean Whitton
2017-02-02drop a superfluous blank line in pref fileSean Whitton
2017-02-02fix type of Apt.pinnedToSean Whitton
2017-02-02AptPrefPackage typeSean Whitton
2017-02-02Apt.pinnedTo uses File.configFileNameSean Whitton
2017-02-02Merge remote-tracking branch 'upstream/master' into pinSean Whitton
2017-02-02better exampleJoey Hess
2017-02-02haddock formattingJoey Hess
2017-02-02Added Propellor.Property.File.configFileName and related functions to ↵Joey Hess
generate good filenames for config directories. spwhitton has a branch that could use this, and there are several places in propellor that do something ad-hoc that would have been better implemented using this. I was not able to switch any of the existing ad-hoc stuff, but this can be used going forward for new stuff. This commit was sponsored by Anthony DeRobertis on Patreon.
2017-01-31fix removal of blocksSean Whitton
2017-01-31more spacingSean Whitton
2017-01-31neaten the prefs file Apt.pinnedTo generatesSean Whitton
2017-01-31spacingSean Whitton
2017-01-31describe Apt.pinnedToSean Whitton
2017-01-31pass a tuple to Apt.pinnedToSean Whitton
This permits calling Apt.pinnedTo infix
2017-01-31suiteAvailablePinned avoids pinning backportsSean Whitton
2017-01-31implement Apt.pinnedToSean Whitton
2017-01-31add File.containsBlockSean Whitton
2017-01-31document File.containsLinesSean Whitton
2017-01-31Merge remote-tracking branch 'upstream/master' into pinSean Whitton
2017-01-30fix type error: hiddenService -> hiddenService'Sean Whitton
2017-01-30commented hackingSean Whitton
2017-01-30TODOSean Whitton
2017-01-30fix swapped sourceFile & prefFileSean Whitton