I’m developing Julia on VS Code using the Julia plugin, but I think some of the functionality is not working because my company’s proxy is in the way. For example, I’m hardly getting any annotation from the linter. When the plugin is downloading caches, the output window shows messages like these suggesting that nothing is downloaded:
Is there a way to specify the proxy IP address somewhere or fix this otherwise?
Perhaps related: I’m not getting any code completion for my own local module, even though the language server is running the project julia environment. Any help on these small annoyances would be appreciated!