Closed vasyas closed 5 years ago
It would be even more awesome if the plugin would set terminal title from escape sequences, as some of the other terminals do, for example, Gnome terminal or iTerm2.
And example for sequence:
echo -e '\033]0;This would be title\007'
This is about the console, not the terminal.
It would be even more awesome if the plugin would set terminal title from escape sequences, as some of the other terminals do, for example, Gnome terminal or iTerm2.
And example for sequence: