give debugger terminal a different name

dlech · dlech · commit 46867f8cd802 · 2020-01-18T13:56:22.000-06:00
This way we can tell the difference between an "SSH" terminal and one started by the debugger.
diff --git a/src/extension.ts b/src/extension.ts
@@ -160,7 +160,7 @@ async function handleCustomDebugEvent(event: vscode.DebugSessionCustomEvent): Pr
                         debugTerminal.dispose();
                     }
                     debugTerminal = vscode.window.createTerminal({
-                        name: `SSH: ${device.name}`,
+                        name: `${path.posix.basename(args.program)} on ${device.name}`,
                         pty: {
                             onDidWrite: writeEmitter.event,
                             open: (dim: vscode.TerminalDimensions | undefined) => {

Original file line number	Diff line number	Diff line change
`@@ -160,7 +160,7 @@ async function handleCustomDebugEvent(event: vscode.DebugSessionCustomEvent): Pr`
`160`	`160`	`debugTerminal.dispose();`
`161`	`161`	`}`
`162`	`162`	`debugTerminal = vscode.window.createTerminal({`
`163`		- name: `SSH: ${device.name}`,
	`163`	+ name: `${path.posix.basename(args.program)} on ${device.name}`,
`164`	`164`	`pty: {`
`165`	`165`	`onDidWrite: writeEmitter.event,`
`166`	`166`	`open: (dim: vscode.TerminalDimensions \| undefined) => {`