mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-06 01:06:54 +07:00
With a new workspace model, forced by the platform, old SDK paths are now saved in `//wsl` instead of ``\\wsl`` formats. `CUSTOM_PYTHON_SDK_HOME_PATH_PATTERN` failed to recognize them. Check is also added to `getVersionString` not to pollute logs with things like "Can't run `//wsl$/usr/bin..`". GitOrigin-RevId: d9a5c4cb8972eee841219b52bf596468e52e770a