From 5f49d988ffe761324dc0a5fd02eccdafa91ea606 Mon Sep 17 00:00:00 2001
From: "Ilya.Kazakevich" <Ilya.Kazakevich@jetbrains.com>
Date: Thu, 25 Oct 2018 22:57:57 +0300
Subject: [PATCH] Support WLinux: Commercial WSL distro
Distro:
https://www.microsoft.com/en-us/p/wlinux/9nv1gv1pxz6p?activetab=pivot:overviewtab
---
.../src/com/intellij/execution/wsl/WSLDistributionService.java | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/platform/platform-impl/src/com/intellij/execution/wsl/WSLDistributionService.java b/platform/platform-impl/src/com/intellij/execution/wsl/WSLDistributionService.java
index d559fe894673..9ea0bda4ee6f 100644
--- a/platform/platform-impl/src/com/intellij/execution/wsl/WSLDistributionService.java
+++ b/platform/platform-impl/src/com/intellij/execution/wsl/WSLDistributionService.java
@@ -49,7 +49,8 @@ class WSLDistributionService implements PersistentStateComponent<WSLDistribution
new WslDistributionDescriptor("SLES12", "SLES-12", "sles-12.exe", "SUSE Linux Enterprise Server 12"),
new WslDistributionDescriptor("UBUNTU", "Ubuntu", "ubuntu.exe", "Ubuntu"),
new WslDistributionDescriptor("UBUNTU1604", "Ubuntu-16.04", "ubuntu1604.exe", "Ubuntu 16.04"),
- new WslDistributionDescriptor("UBUNTU1804", "Ubuntu-18.04", "ubuntu1804.exe", "Ubuntu 18.04")
+ new WslDistributionDescriptor("UBUNTU1804", "Ubuntu-18.04", "ubuntu1804.exe", "Ubuntu 18.04"),
+ new WslDistributionDescriptor("WLINUX", "WLinux", "wlinux.exe", "WLinux")
);
/**
--
GitLab