Installation guide: On WSL, clear /mnt/c stuff from PATH

[mkoeppe]

As seen in https://groups.google.com/g/sage-devel/c/1nYw7-6QSkQ, our configure script fails to notice that some stuff in finds in PATH is not suitable:

configure:7510: found /mnt/c/Strawberry/perl/bin/pkg-config
configure:7522: result: /mnt/c/Strawberry/perl/bin/pkg-config
configure:7547: checking pkg-config is at least version 0.29
...
configure:33252: checking for xml2-config
configure:33275: found /mnt/c/Strawberry/c/bin/xml2-config
configure:33288: result: /mnt/c/Strawberry/c/bin/xml2-config
configure:33305: will use system package and not install SPKG libxml2
...
configure:42387: checking for PRIMESIEVE
configure:42394: $PKG_CONFIG --exists --print-errors "primesieve >= 8.0"
./configure: /mnt/c/Strawberry/perl/bin/pkg-config: perl: bad interpreter: No such file or directory

CC: @dimpase @tobiasdiez

Component: documentation

Author: Matthias Koeppe

Branch/Commit: 80a84d4

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/34889

[mkoeppe]

Branch: u/mkoeppe/installation_guide__on_wsl__clear__mnt_c_stuff_from_path

[mkoeppe]

Commit: 80a84d4

[mkoeppe]

New commits:

80a84d4

README.md: Add step to sanitize the environment

[mkoeppe]

Author: Matthias Koeppe

[dimpase]

Reviewer: Dima Pasechnik

[dimpase]

comment:3

lgtm

[tobiasdiez]

comment:4

Note that this workaround disables that one could run windows command line tools from within linux: https://learn.microsoft.com/en-us/windows/wsl/filesystems#run-windows-tools-from-linux

For example, without this workaround, one can run code from within the linux command line to open Windows' vscode in wsl mode in the correct folder.

[tobiasdiez]

comment:5

There is also a windows config option that controls whether the windows path is appended: https://learn.microsoft.com/en-us/windows/wsl/wsl-config#interop-settings

[mkoeppe]

comment:6

Maybe we can add something like "It's safe to keep /mnt/c/.../Programs/Microsoft VS Code/bin/ in the PATH"?

[vbraun]

Changed branch from u/mkoeppe/installation_guide__on_wsl__clear__mnt_c_stuff_from_path to 80a84d4