Merge pull request #11452 from nholthaus/master

Fixes #11451 - Add `konsole` as default terminal for KDE-plasma
microsoft · Sep 8, 2016 · 195c04b · 195c04b
2 parents e190921 + 46a36d0
commit 195c04b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/vs/workbench/parts/execution/electron-browser/terminal.ts b/src/vs/workbench/parts/execution/electron-browser/terminal.ts
@@ -11,6 +11,8 @@ if (env.isLinux) {
 		defaultTerminalLinux = 'x-terminal-emulator';
 	} else if (process.env.DESKTOP_SESSION === 'gnome' || process.env.DESKTOP_SESSION === 'gnome-classic') {
 		defaultTerminalLinux = 'gnome-terminal';
+	} else if (process.env.DESKTOP_SESSION === 'kde-plasma') {
+		defaultTerminalLinux = 'konsole';
 	} else if (process.env.COLORTERM) {
 		defaultTerminalLinux = process.env.COLORTERM;
 	} else if (process.env.TERM) {