Colin Gravill

The original request was skipped in favour of a more general approach. For my own needs I'm happy for it to be closed, and thanks gain @ninjarobot

This one embarrassingly often trips me up when I'm giving demos despite knowing the workaround, as I clear the fsi instance ready. For context, we have some internal built libraries...

I have headless Chrome working with Canopy and Expecto on another project. I could draft a PR if that would help? Rather than check in the drivers I used https://www.nuget.org/packages/Selenium.WebDriver.ChromeDriver/...

Looks possible to switch: ``` Starting ChromeDriver 2.37.543627 (63642262d9fb93fb4ab52398be4286d844092a5e) on port 11238 Only local connections are allowed. [0321/105831.498:ERROR:gpu_process_transport_factory.cc(1019)] Lost UI shared context. DevTools listening on ws://127.0.0.1:12774/devtools/browser/2db2f1af-53ce-46ae-84a3-472b31dcf62f EXPECTO version [10:58:34 INF]...

For Node there's now an updated NuGet (8.9.1 https://www.nuget.org/packages/Node.js.redist/) and an MSBuild wrapper for Yarn (https://github.com/natemcmaster/Yarn.MSBuild). We've been happily using these to simplify the install requirements for colleagues unfamiliar JavaScript...

We've got some fancily formatted code so we're good at finding some edge cases! It's also why I like Fantomas so much, so our code becomes and stays more uniform....

I can give that go. I've already actioned the workaround in our codebase but it would nice if code in these styles could be reformatted safely.

Do you see value in keeping the old version of DiffSharp (~0.8 style)? I can do a before and after comparison but in general future DiffSharp development is going to...

I've experienced the same issue, working setup, update and it broke. Various attempts in the user interface but only some of the computers would connect, and others failed. I found...

Thanks for looking at it. and the potential workaround. I asked as in other circumstances e.g. https://code.visualstudio.com/docs/devcontainers/containers#_quick-start-open-a-git-repository-or-github-pr-in-an-isolated-container-volume with Docker for Windows the `postCreateCommand` in the image works as-is. We'd like...