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

Added Kali & Debian distributions to the list

Browse Source 
Also, added some alphabetical order

RUBY-21128 Fixed
See RUBY-21129
This commit is contained in:
Alexandr Evstigneev
2018-03-07 16:03:55 +03:00
parent c5d0f8362f
commit 848dfbffa3
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/execution/wsl/WSLUtil.java
+3 -1
View File
@@ -43,9 +43,11 @@ public class WSLUtil {
};
private static final List<WSLDistribution> DISTRIBUTIONS = Arrays.asList(
new WSLDistribution("UBUNTU", "Ubuntu", "ubuntu.exe", "Ubuntu"),
new WSLDistribution("DEBIAN", "Debian", "debian.exe", "Debian GNU/Linux"),
new WSLDistribution("KALI", "kali-rolling", "kali.exe", "Kali Linux"),
new WSLDistribution("OPENSUSE42", "openSUSE-42", "opensuse-42.exe", "openSUSE Leap 42"),
new WSLDistribution("SLES12", "SLES-12", "sles-12.exe", "SUSE Linux Enterprise Server 12"),
new WSLDistribution("UBUNTU", "Ubuntu", "ubuntu.exe", "Ubuntu"),
LEGACY_WSL
);