Codespaces Devcontainer

To get started using Codespaces, flip a toggle:

devenv.nix

{ pkgs, ... }:

{
    devcontainer.enable = true;
}

Run devenv shell. You should see an autogenerated .devcontainer/devcontainer.json file.

Commit .devcontainer/devcontainer.json to the Git repository and push it.