Save ghcid output to a file
This facilitates IDE integration. For example,
https://github.com/ndmitchell/ghcid/tree/master/plugins/vscode#vscode-haskell-ghcid
commit3a18858791aab0a92905303a19cd8a8a4b92f219
authorSridhar Ratnakumar <srid@srid.ca>
dateSat 19 May 2018, 18:02 (8 years ago)
parentc87d93d
lib/command/src/Obelisk/Command/Run.hs+1
@@ -88,6 +88,7 @@ runDev dotGhci mcmd = callCommand $ unwords $ "ghcid" : ghcidOpts
8888 [ "-W"
8989 , "--command='ghci -ghci-script " <> dotGhci <> "' "
9090 , "--reload=config"
91+ , "--outputfile=ghcid-output.txt"
9192 ] <> maybeToList (flip fmap mcmd $ \cmd -> " --test=$'" <> cmd <> "'")
9293
9394getFreePort :: IO PortNumber
skeleton/.gitignore+1
@@ -1,3 +1,4 @@
11dist-newstyle
22result
33.attr-cache
4+ghcid-output.txt