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.json file.

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