Properly join string[] profile args

Tyriar · Tyriar · commit 8736be196db0 · 2021-03-19T07:33:07.000-07:00
diff --git a/src/vs/workbench/contrib/terminal/browser/terminalService.ts b/src/vs/workbench/contrib/terminal/browser/terminalService.ts
@@ -831,7 +831,7 @@ export class TerminalService implements ITerminalService {
 						return `"${e.replace('/"/g', '\\"')}"`;
 					}
 					return e;
-				});
+				}).join(' ');
 				return { label: p.profileName, description: `${p.path} ${argsString}` };
 			}
 			return { label: p.profileName, description: p.path };

Original file line number	Diff line number	Diff line change
`@@ -831,7 +831,7 @@ export class TerminalService implements ITerminalService {`
`831`	`831`	return `"${e.replace('/"/g', '\\"')}"`;
`832`	`832`	`}`
`833`	`833`	`return e;`
`834`		`- });`
	`834`	`+ }).join(' ');`
`835`	`835`	return { label: p.profileName, description: `${p.path} ${argsString}` };
`836`	`836`	`}`
`837`	`837`	`return { label: p.profileName, description: p.path };`