MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

WSL: compare names ignore case

Browse Source 
Both ``\\wsl$\debian`` and ``\\wsl$\Debian`` are supported

GitOrigin-RevId: c8be201571cfcf0f4b73d6269a7a3f6e2eff14ab
This commit is contained in:
Ilya.Kazakevich
2022-06-11 11:31:36 +00:00
committed by intellij-monorepo-bot
parent 5ca58470f7
commit 5b1ef53f46
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/execution/wsl/WSLDistribution.java
+1 -1
View File
@@ -498,7 +498,7 @@ public class WSLDistribution implements AbstractWslDistribution {
public @Nullable @NlsSafe String getWslPath(@NotNull String windowsPath) {
WslPath wslPath = WslPath.parseWindowsUncPath(windowsPath);
if (wslPath != null) {
if (wslPath.getDistributionId().equals(myDescriptor.getMsId())) {
if (wslPath.getDistributionId().equalsIgnoreCase(myDescriptor.getMsId())) {
return wslPath.getLinuxPath();
}
throw new IllegalArgumentException("Trying to get WSL path from a different WSL distribution. Requested path (" + windowsPath + ")" +