I'm sure you've been asked this countless times but is there an effective way to name terminals or terminal tabs?
I have tried added the following to . bashrc
set-title(){
ORIG=$PS1
TITLE="\e]2;$@\a"
PS1=${ORIG}${TITLE}
}
ORIG=$PS1
TITLE="\e]2;$@\a"
PS1=${ORIG}${TITLE}
}
Then set title by: Kali> set-title "new terminal title"
The only issue with this is after I name a new terminal and copy and paste a string into the terminal it behaves strangely and the text wraps around and ultimately can't execute the function.
Thoughts?
Thanks,
Mike
_______________________________________________ gnome-list mailing list gnome-list@xxxxxxxxx https://mail.gnome.org/mailman/listinfo/gnome-list
