You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Dec 15, 2020. It is now read-only.
Please add regular expression support for replacing/modifying the tab title.
This would be much more powerful than the current removals, prefix and suffix. You could do all of those, but you could also do much more.
I'm mostly interested in removing usernames from the beginning of tab titles, since I always use the same user on a specific host I SSH into, so seeing the hostname is enough (and I often have the same username on many hosts, so the username is just noise and fills up the tab title). A simple regex replace like /^\w+@// would do that.
The text was updated successfully, but these errors were encountered:
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Please add regular expression support for replacing/modifying the tab title.
This would be much more powerful than the current removals, prefix and suffix. You could do all of those, but you could also do much more.
I'm mostly interested in removing usernames from the beginning of tab titles, since I always use the same user on a specific host I SSH into, so seeing the hostname is enough (and I often have the same username on many hosts, so the username is just noise and fills up the tab title). A simple regex replace like
/^\w+@//
would do that.The text was updated successfully, but these errors were encountered: