Skip to content
This repository has been archived by the owner on Apr 4, 2023. It is now read-only.

Apply terminal title name configuration #606

Merged
merged 8 commits into from
Jan 30, 2020
Merged

Apply terminal title name configuration #606

Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
880d185
Apply terminal title name configuration
vinokurig Jan 24, 2020
1fe76d7
Merge branch 'master' of github.com:eclipse/che-theia into che-15242
vinokurig Jan 27, 2020
c496bbc
Merge branch 'master' of github.com:eclipse/che-theia into che-15242
vinokurig Jan 28, 2020
8582f58
fixup! Apply terminal title name configuration
vinokurig Jan 28, 2020
812d573
fixup! Apply terminal title name configuration
vinokurig Jan 29, 2020
90d9ba1
Merge branch 'master' of github.com:eclipse/che-theia into che-15242
vinokurig Jan 29, 2020
2584fae
fixup! Apply terminal title name configuration
vinokurig Jan 29, 2020
c66b2bb
fixup! Apply terminal title name configuration
vinokurig Jan 30, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 6 additions & 0 deletions extensions/eclipse-che-theia-terminal/src/browser/terminal-widget/remote-terminal-widget.ts
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -79,6 +79,12 @@ export class RemoteTerminalWidget extends TerminalWidgetImpl {
}
}));

this.toDispose.push(this.term.onTitleChange((title: string) => {
if (this.options.useServerTitle) {
this.title.label = this.options.machineName + ': ' + title;
}
}));

const badDefaultLoginErr = 'command terminated with exit code 126';
const missedPrivilegesErr = 'cannot create resource "pods/exec"';
this.toDispose.push(this.remoteTerminalWatcher.onTerminalExecError(errEvent => {
Expand Down