From 5b1ef53f462aedab43bb52cc335e278828a5bf21 Mon Sep 17 00:00:00 2001 From: "Ilya.Kazakevich" Date: Sat, 11 Jun 2022 10:27:38 +0200 Subject: [PATCH] WSL: compare names ignore case Both ``\\wsl$\debian`` and ``\\wsl$\Debian`` are supported GitOrigin-RevId: c8be201571cfcf0f4b73d6269a7a3f6e2eff14ab --- .../src/com/intellij/execution/wsl/WSLDistribution.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform/platform-impl/src/com/intellij/execution/wsl/WSLDistribution.java b/platform/platform-impl/src/com/intellij/execution/wsl/WSLDistribution.java index 501c14009dc1..505a9cc65bf9 100644 --- a/platform/platform-impl/src/com/intellij/execution/wsl/WSLDistribution.java +++ b/platform/platform-impl/src/com/intellij/execution/wsl/WSLDistribution.java @@ -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 + ")" +