T.Gebauer

> Via the script, I'm not sure I could capture the pid and shut the process down when VS Code shuts down. That would not be different to managing `java`...

Related: Issues https://github.com/ogham/exa/issues/879 https://github.com/ogham/exa/issues/1083 Pull requests https://github.com/ogham/exa/pull/908? https://github.com/ogham/exa/pull/975 --- > This is a little bit weird to me, normally redirection is implemented by the shell transparently. Thus the program being...

I do not currently use language tool. So I am not very invested in finding a solution right now. But I just found this in my GitHub inbox, and can't...

Solution/workaround: https://github.com/micronaut-projects/micronaut-gcp/pull/693