diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-15 19:35:49 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-15 19:35:49 +0000 |
commit | c5472f820b36ba39a20b8dd5afce9bcf676fa4ac (patch) | |
tree | 76254f3ce7803157a0a2832188da2f167f3d9076 /editors/code/src | |
parent | 0156a538089828340a823ed02da8970bf4f1175b (diff) | |
parent | 9cfd5ea2b44ece1d2ef521c44f7655bf05c4a61a (diff) |
Merge #277
277: use new clear-terminal feature r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code/src')
-rw-r--r-- | editors/code/src/commands/runnables.ts | 4 |
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 | ||