extraterm
extraterm copied to clipboard
Feature Request: Add user@host to title
Hey there,
I think it would be extremely helpful to be able to add the user@host of the currently connected server to the tab header. I use a zsh/omzsh theme that has this info on the right side of the terminal on the current line and it has saved me a time or two from running the wrong thing in the wrong window. Having it in the title would be all the more helpful.
If this is already possible, I do apologize, I tried to look for documentation on it but was unable to locate it.
zsh does the following. I am not sure if there is something built in already I can do to get similar results in the title?
# right prompt
if type "virtualenv_prompt_info" > /dev/null
then
RPROMPT='$(virtualenv_prompt_info)$my_gray%n@%m%{$reset_color%}%'
else
RPROMPT='$my_gray%n@%m%{$reset_color%}%'
fi
Thanks, -MH
It is possible to set the window/tab title from inside a shell script or your zsh configuration. Fish shell does this by default and I can always see which directory I'm in. This is common functionality which has been around since the original xterm app.
See this for more details: https://superuser.com/questions/633926/how-to-change-terminator-title-terminal-title-zsh-on-debian