Dev container

[nojaf]

As a response to @gubser poor experience in #2972, I tried to set up a devcontainer.

While doing this, I did encounter some problems when only 8rc2 SDK was installed.
I needed RollForward for the test projects and of course, had to workaround dotnet/sdk#35989.

During my experiment, I updated fsdocs to the latest alpha. Even though we use a custom theme, I had to change some things for the search.

Ionide was not starting in my dev container. @Martin521 would you have any ideas what I'm still missing?

[nojaf]

[nojaf]

Turns out, that I was trying to use a local FSAC inside the container.
Works now.

[dawedawe]

Mmh, so far my success rate with the container is 2 out of 10 but if it can unblock others, sure, let's have it.

[Martin521]

This is how dotnet/fsharp does it:

    "customizations": {
        "vscode": {
            // Add the IDs of extensions you want installed when the container is created.
            "extensions": [
                "ms-dotnettools.csharp",
                "Ionide.Ionide-fsharp",
                "tintoy.msbuild-project-tools"
            ]
        }
    },

[nojaf]

Yup, stole that part from dotnet/fsharp indeed.

[Martin521]

And wouldn't it make sense to use a .net 8 image?

[nojaf]

And wouldn't it make sense to use a .net 8 image?

Yes, probably, I selected the F# option from the UI.
Might make sense to use a Dockerfile instead.

[dawedawe]

Locally correctly formatted file should not be written, 1984 fails because of newline issues.
@nojaf you don't see this?

[nojaf]

You mean in Windows or in the container?

[dawedawe]

In the container

[nojaf]

Ok, I now have it in Windows. This is a checkout-as line ending shenannigan.
Forcing lf in the test now.

[dawedawe]

Much more stable for me now 👍