Matthieu Coudron

I finally managed to set the types and indeed we concatenate columns with same names (The following compiles): ``` mergeTcpConnectionsFromKnownStreams :: FrameFiltered Packet -> FrameFiltered Packet -> [ Rec (Maybe...

I have the same issue.

> This are interpolated by the lapis command when it starts up nginx. [leafo.net/lapis/reference/getting_started.html#creating-an-application/nginx-configuration](https://leafo.net/lapis/reference/getting_started.html#creating-an-application/nginx-configuration) oh thanks ! maybe the config files generated by `lapis new` should contain a header with...

I got the software starting, `sudo -E lapis serve` works until i run `curl http://localhost:8080` where I get a nginx error "Failed to include SSI `intro.html" within a nix-shell provided...

Could this be configured through initializationOptions ? [initializeParams](https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#initializeParams) I dont mind the warning, just the prompt that steals focus.

I was wondering why dream2nix wouldnt work with my project (lockfile version 3) until I stumbled on this. I am trying this out but nix can't find the git revision....

Goal is to make it possible but I need to get some more code in before that. I've been waiting for nixpkgs' staging merge for > 1 month

I think it's overkill, cant you just copy/paste defaults and adjust them to your liking ?

could you rebase to trigger CI please ? I dont use accounts.contact but I am willing to try the PR this week.

> Where exactly is the complexity? It’s one new option and two lines of code to use it (plus tests). the diff is 40 lines to modify the check such...