From d1f56217ce5eb8a0c162f172442295ec0766a793 Mon Sep 17 00:00:00 2001 From: Rajkumar Janakiraman Date: Wed, 7 Sep 2016 15:40:45 -0700 Subject: [PATCH 1/2] Note to update GetClrDbg.sh in MIEngine. --- src/platform.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/src/platform.ts b/src/platform.ts index 773df9b38e..35db96d148 100644 --- a/src/platform.ts +++ b/src/platform.ts @@ -30,6 +30,7 @@ export function getCurrentPlatform() { else if (process.platform === 'linux') { // Get the text of /etc/os-release to discover which Linux distribution we're running on. // For details: https://www.freedesktop.org/software/systemd/man/os-release.html + // When any distro or version is added, please update GetClrDbg.sh in MIEngine const text = child_process.execSync('cat /etc/os-release').toString(); const lines = text.split('\n'); From 858a2c73ce8f80c8bb1f55dc4bb27baf3a8855a1 Mon Sep 17 00:00:00 2001 From: Rajkumar Janakiraman Date: Thu, 8 Sep 2016 09:44:11 -0700 Subject: [PATCH 2/2] Incorporating code review comments. --- src/platform.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/platform.ts b/src/platform.ts index 35db96d148..6e3ae3c07a 100644 --- a/src/platform.ts +++ b/src/platform.ts @@ -30,7 +30,7 @@ export function getCurrentPlatform() { else if (process.platform === 'linux') { // Get the text of /etc/os-release to discover which Linux distribution we're running on. // For details: https://www.freedesktop.org/software/systemd/man/os-release.html - // When any distro or version is added, please update GetClrDbg.sh in MIEngine + // When any new distro or version is added, please update GetClrDbg.sh in MIEngine or inform the contributers of MIEngine. const text = child_process.execSync('cat /etc/os-release').toString(); const lines = text.split('\n');