Eu encontrei uma solução alternativa. Você pode usar
$ xdotool getactivewindow
Isto dará o ID da janela da janela do terminal GNOME da qual ele é executado.
No Ubuntu 17.10 (em uma sessão do Xorg) eu pude obter o ID da janela da variável de ambiente WINDOWID de
gnome-terminal
digitando:
$ echo $WINDOWID
na janela do terminal. No Ubuntu 18.04, isso não funciona. No entanto, parece funcionar bem com outros emuladores de terminal que eu tentei, como xterm
e konsole
.
Então, o problema parece ser específico para gnome-terminal
.
Como posso obter o ID da janela atual gnome-terminal
?
Eu encontrei uma solução alternativa. Você pode usar
$ xdotool getactivewindow
Isto dará o ID da janela da janela do terminal GNOME da qual ele é executado.