Jeroen van Baarsen

Results 134 comments of Jeroen van Baarsen

Temporarily fixed by: https://github.com/intercity/intercity/commit/d8e9687445cee192119fe602ea5aea2f11ed088f

@michiels Hm yeah thats right. Somehow I sometimes feel like the Chef setup is biting us sometimes :D But yeah, having it in the webinterface for now makes sense

@michiels Oh yeah, I was not saying we should replace chef :P just that it gets in the way _sometimes_. Benefits heavily outweigh the downsides though :dancers:

@SomeoneToIgnore I tried disabling all the language servers by adding this in my config: ``` "language_servers": [], ``` But the problem still persists, so I'm in doubt if its a...