Add .envrc for nix direnv

[Plamper]

I am too lazy to always run nix develop.

[drafolin]

@nyabinary does this make sense from a nix point of view?

[Plamper]

The gitignore is just build dirs. The .envrc only does something if direnv and nix direnv are installed and has to be manually approved. This is basically a convenience thing.

[drafolin]

The gitignore is just build dirs. The .envrc only does something if direnv and nix direnv are installed and has to be manually approved. This is basically a convenience thing.

I'm mostly wondering if it makes sense to merge pr's whose whole description is, "I'm to lazy to [...]", and if it might clutter the repository with single dev-specific files

[Plamper]

I see your point. At least the .gitignore changes should be merged imo, as building the nix project using nix build will create that result folder. But I think it's relatively common to have the .envrc as well because this will ensure the code editor is also inside the nix env.