phyxmeow
phyxmeow
Use something like `wsl -d Arch --cd ~ -- genie -s`
Maybe you can just set default version to 2 and install Arch then change it back if you like.
You can't access Windows host by localhost in wsl2, I mean, you just can't......... The reason you can access wsl host in Windows is Microsoft does some hack to it....
Now....I don't know why, after update jupyterlab to v3.2.2, the whole julia language server is not working. Giving me error like this: ``` [I 2021-11-05 16:10:20.403 ServerApp] Adapting from protocol...
> Please provide a minimal reproducible example in a separate issue; `ERROR: get_hover failed to convert Expr` suggests that this is an error in the Julia language server, not in...
No, I was wrong, seems I run into some random error, after restart jupyterlab, the errors are gone. But still cannot correctly completion. Thanks for reply!
@VivaldoMendes I looked into deps of PlotlyJS, and found Blink.jl is the key that prevent upgrading. The Package is too old and lack for updating. May be you shall raise...
See this for some discussion https://discourse.julialang.org/t/state-of-plotlyjs-and-support-packages/86119
@ToucheSir Thank you! I think I got the point.
I have exactly the same problem, the extension tells me "coqtop is not running" and do nothing. I'm using Manjaro linux in wsl2.