Closed M0R60TH closed 2 years ago
Sounds good. PR welcome. Seems also good then to explain what WSL is and how to install it and also GWSL.
Need help in investigating the current situation with VSCode and WSL2 and what to include in the compendium here: https://github.com/lunduniversity/introprog/blob/0ec607c78998ae9ee71c857c39d954fae48d7e55/compendium/postchapters/terminal.tex#L50
Should a comment be added in introprog/compendium/postchapters/ide-vscode.tex about the tool VS Code extension Remote -WSL? It is extremly useful - giving easy you access to the linux filesystem and to the WSL terminal, as well as solving several smaller issues and/or inconviniences when running VS Code through windows but running code through WSL. Just an idea, but one that several people have found useful.