On Wed, Nov 12, 2008 at 13:16:08 +0100, Christian Kellermann wrote: > Wed Nov 12 11:56:46 CET 2008 Christian Kellermann <[EMAIL PROTECTED]> > * Fix shell_harness so it uses --ignore-times
Applied, thanks!
Fix shell_harness so it uses --ignore-times
-------------------------------------------
> + set_prefs = do
> + finally (catch (appendFile ".darcs/defaults" "ALL
> --ignore-times")
> + (\e -> fail $ "Unable to set preferences: "
> + ++ show e))
> + (createDirectoryIfMissing False ".darcs")
You may find that you prefer (or not!) the use of backticks to
infix the catch function
set_prefs =
finally (appendFile ".darcs/defaults" "ALL --ignore-times"
`catch` \e -> fail $ "Unable to set preferences: " ++ show e)
(createDirectoryIfMissing False ".darcs")
--
Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow>
PGP Key ID: 08AC04F9
signature.asc
Description: Digital signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
