summaryrefslogtreecommitdiff
path: root/src/Propellor/Property/Reboot.hs
AgeCommit message (Collapse)Author
2017-07-23avoid one failure of Reboot.toKernelNewerThan when /boot not mountedSean Whitton
If the running kernel is new enough, there is no need to look at the kernels installed on the system.
2017-02-04add tightenTargetsZihao Wang
probably because of "now :: Property Linux" Signed-off-by: Zihao Wang <dev@wzhd.org>
2016-06-19Reboot.toKernelNewerThan FailedChange not errorSean Whitton
See discussion: <http://propellor.branchable.com/todo/merge_request:_changes_to_Reboot.hs/>
2016-06-13fix buggy readVersionMaybeJoey Hess
2016-06-13add stopPropellorMessageJoey Hess
2016-06-13use new StopPropellorExceptionJoey Hess
2016-06-13improve some commentsJoey Hess
2016-06-12explanatory commentsSean Whitton
2016-06-12handle errors when parsing kernel version stringsSean Whitton
2016-06-12bring IO code into propellor monadSean Whitton
2016-06-12toKernelNewerThan can give FailedChangeSean Whitton
2016-06-12fix extracting kernel version stringSean Whitton
2016-06-12rework newerKernelAvailableSean Whitton
2016-06-12also remove any that didn't have versions in nameSean Whitton
2016-06-12attempt to actually extract kernel versionSean Whitton
2016-06-12toKernelNewerThan propSean Whitton
2016-06-12factor out some code I will useSean Whitton
2016-06-12toKernelNewerThan skeletonSean Whitton
2016-06-12factor out reboot code from DigitalOcean.hsSean Whitton
2016-03-26more portingJoey Hess
2015-12-05UncheckedProperty for cmdProperty et alJoey Hess
* Properties that run an arbitrary command, such as cmdProperty and scriptProperty are converted to use UncheckedProperty, since they cannot tell on their own if the command truely made a change or not. (API Change) Transition guide: - When GHC complains about an UncheckedProperty, add: `assume` MadeChange - Since these properties used to always return MadeChange, that change is always safe to make. - Or, if you know that the command should modifiy a file, use: `changesFile` filename * A few properties have had their Result improved, for example Apt.buldDep and Apt.autoRemove now check if a change was made or not.
2015-10-10propellor spinJoey Hess
2015-09-04fix typoJoey Hess
2015-05-27Export CommandParam, boolSystem, safeSystem and shellEscape from ↵Joey Hess
Propellor.Property.Cmd, so they are available for use in constricting your own Properties when using propellor as a library. Several imports of Utility.SafeCommand now redundant.
2015-01-24GADT properties seem to work (untested)Joey Hess
* Property has been converted to a GADT, and will be Property NoInfo or Property HasInfo. This was done to make sure that ensureProperty is only used on properties that do not have Info. Transition guide: - Change all "Property" to "Property NoInfo" or "Property WithInfo" (The compiler can tell you if you got it wrong!) - To construct a RevertableProperty, it is useful to use the new (<!>) operator - Constructing a list of properties can be problimatic, since Property NoInto and Property WithInfo are different types and cannot appear in the same list. To deal with this, "props" has been added, and can built up a list of properties of different types, using the same (&) and (!) operators that are used to build up a host's properties.
2014-12-08finished accidentially committed bitJoey Hess
2014-12-06keep and use Reboot.nowJoey Hess
2014-12-06Reboot.atEndJoey Hess
2014-05-14moved source code to srcJoey Hess
This is to work around OSX's brain-damange regarding filename case insensitivity. Avoided moving config.hs, because it's a config file. Put in a symlink to make build work.