diff options
| -rw-r--r-- | doc/forum/REversable_property_changes.mdwn | 36 | ||||
| -rw-r--r-- | doc/forum/Updating_a_host__39__s_centralised_git_repo_URI_without_spinning.mdwn | 1 |
2 files changed, 37 insertions, 0 deletions
diff --git a/doc/forum/REversable_property_changes.mdwn b/doc/forum/REversable_property_changes.mdwn new file mode 100644 index 00000000..bdad12c5 --- /dev/null +++ b/doc/forum/REversable_property_changes.mdwn @@ -0,0 +1,36 @@ +Hello, I just installed propellor 2.13.0 and now I get this error message. + +It was sort of expected due to the chnages in the API. +I would like your advice about this problem. +Indeed I combine Property and RevertableProperty. + +so what should be the best way to fix this issue. + + src/Propellor/Property/Sbuild.hs:57:51: + Couldn't match type ‘Property (CInfo HasInfo NoInfo)’ + with ‘RevertableProperty HasInfo’ + Expected type: RevertableProperty HasInfo + Actual type: CombinedType + (RevertableProperty HasInfo) (Property NoInfo) + In the expression: (setup <!> cleanup) `requires` installed + In an equation for ‘schroot’: + schroot sn chroot@(Chroot.Chroot chrootdir _ _) + = (setup <!> cleanup) `requires` installed + where + setup + = conf `requires` (provision `onChange` targz) + where + provision + = toProp (Chroot.provisioned chroot) `before` umount + where + ... + targz = createTarball chrootdir tarball + .... + cleanup + = File.notPresent (schrootChrootD </> sn) + `requires` File.notPresent tarball + `requires` toProp (revert (Chroot.provisioned chroot)) + tarball = chrootdir <.> "tar.gz" + + +thanks diff --git a/doc/forum/Updating_a_host__39__s_centralised_git_repo_URI_without_spinning.mdwn b/doc/forum/Updating_a_host__39__s_centralised_git_repo_URI_without_spinning.mdwn new file mode 100644 index 00000000..f1bb6e1c --- /dev/null +++ b/doc/forum/Updating_a_host__39__s_centralised_git_repo_URI_without_spinning.mdwn @@ -0,0 +1 @@ +I'm managing a host with propellor that is booted up perhaps once per week at random times (it's my grandparents' machine). I have it running propellor with a cronjob in the standard way, pulling from a git repository, so I can update its configuration by pushing PGP-signed changes to the centralised git repo. Now, I would like to change the URI of the centralised git remote. Can I just write a `cmdProperty` that sets the new URI on the repo in `/usr/local/propellor`? As described, I can't simply --spin the host as I never know when it's online. |