What is the shell on the remote? Perhaps https://github.com/JuliaLang/julia/pull/41285 is related.
1 Like
What is the shell on the remote? Perhaps https://github.com/JuliaLang/julia/pull/41285 is related.