How to determine gnome-terminal window ID in Ubuntu 17.10? – askubuntu.com

How to determine gnome-terminal window ID in Ubuntu 17.10? – askubuntu.com

05:08 No Comments
In Ubuntu 17.04 I could use wmctrl to switch to a gnome-terminal window with given window ID: wmctrl -ia $gnome_term_winid The window ID of a given gnome-terminal could also be displayed from the ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

Unknown

Artikel Terkait

0 Comment to "How to determine gnome-terminal window ID in Ubuntu 17.10? – askubuntu.com"

Post a Comment

Subscribe to: Post Comments (Atom)