…pseudo terminal file name associated to a terminal emulator window? I accidentally found it, just typed something like
$ echo $SOMETHING
/dev/pts/4
but forgot that variable, I googled it, looked in man pages, in ~/bash_history, but there are only commands of the first opened terminal and they're very old (~half a day) though.