aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src/commands
diff options
context:
space:
mode:
authorAleksey Kladov <[email protected]>2018-12-15 19:33:09 +0000
committerAleksey Kladov <[email protected]>2018-12-15 19:33:35 +0000
commit9cfd5ea2b44ece1d2ef521c44f7655bf05c4a61a (patch)
tree76254f3ce7803157a0a2832188da2f167f3d9076 /editors/code/src/commands
parent0156a538089828340a823ed02da8970bf4f1175b (diff)
use new clear-terminal feature
Diffstat (limited to 'editors/code/src/commands')
-rw-r--r--editors/code/src/commands/runnables.ts4
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/code/src/commands/runnables.ts b/editors/code/src/commands/runnables.ts
index c234bfaec..be17c8944 100644
--- a/editors/code/src/commands/runnables.ts
+++ b/editors/code/src/commands/runnables.ts
@@ -44,12 +44,11 @@ function createTask(spec: Runnable): vscode.Task {
44 env: spec.env 44 env: spec.env
45 }; 45 };
46 46
47 const execCmd = `${definition.command} ${definition.args.join(' ')}`;
48 const execOption: vscode.ShellExecutionOptions = { 47 const execOption: vscode.ShellExecutionOptions = {
49 cwd: '.', 48 cwd: '.',
50 env: definition.env 49 env: definition.env
51 }; 50 };
52 const exec = new vscode.ShellExecution(`clear; ${execCmd}`, execOption); 51 const exec = new vscode.ShellExecution(definition.command, definition.args, execOption);
53 52
54 const f = vscode.workspace.workspaceFolders![0]; 53 const f = vscode.workspace.workspaceFolders![0];
55 const t = new vscode.Task( 54 const t = new vscode.Task(
@@ -60,6 +59,7 @@ function createTask(spec: Runnable): vscode.Task {
60 exec, 59 exec,
61 ['$rustc'] 60 ['$rustc']
62 ); 61 );
62 t.presentationOptions.clear = true
63 return t; 63 return t;
64} 64}
65 65