addon-ssh
addon-ssh copied to clipboard
Set window title in bash prompt
Proposed Changes
With zsh, the window title is set to display the user, host, and path. This makes it happen for bash too, using the same format as it's with zsh.
The TERM cases where this is done come from Ubuntu 20.04 and CentOS 7 combined. (CentOS sets the title via $PROMPT_COMMAND, not $PS1 though.)
Related Issues
None that I know of.
Rebased.
There hasn't been any activity on this pull request recently. This pull request has been automatically marked as stale because of that and will be closed if no further activity occurs within 7 days. Thank you for your contributions.
Rebased.
MarkdownLint CI failure seems unrelated, this doesn't touch any markdown files.
I don't have rights to modify the PR labels, so it seems I can't do anything about the other CI failure either, nor remove the stale label.
Anything more I can do to get this moving forward?