Michael Sloan

Same. And I expected that exporting a profile and using `cool-retro-term --profile exported-profile.json` to work, but it doesn't :/ (at least not with the ppa for ubuntu 17.10)

Hmm, nevermind, once I closed the terminal that had the changes, subsequent terminals used the config. Nice!

How about performing the check when command execution fails? Then we don't pay any overhead for the success case.

I've opened https://github.com/DanielG/ghc-mod/issues/726 for tracking giving better error messages for this case. Spewing errors like this for version mismatches is pretty awful, this took me a while to track down.

Also, it looks to me like the content-length value computed in `inject` is wrong, because it does not take into account the length of the tag that is being substituted....

Another potential solution might be to avoid injection entirely, and serve some HTML that has a fullscreen iframe which will load the content. Then the outer html can have a...

FWIW I have decided to switch to https://www.npmjs.com/package/livereload - using a chrome extension is a more reliable way of subscribing to changes - in lieu of a more complicated protocol....

@sanji-programmer Hey, I really appreciate that you are digging into this. The context of my issue was https://github.com/mgsloan/mgsloan-site , where the static site generator output directory was being deleted before...

It may be worth scrutinizing a change to the code I made pretty recently - https://github.com/xmonad/xmonad/pull/167/files . I made these changes since I noticed that I was getting a few...

There's discussion of a related issue in xmonad-contrib - https://github.com/xmonad/xmonad-contrib/issues/290 - since `XMonad.Prompt` has its own `cleanMask`