gnome-terminal-server
新しい端末を作成するたびに、その PPID は、次のように作成された場合でも、次のように設定されますbash
。
3340 22404 22404 22404 ? -1 Ssl 1000 1:16 \_ /usr/lib/gnome-terminal/gnome-terminal-server
22404 23096 23096 23096 pts/1 23096 Ss+ 1000 0:00 \_ bash
22404 23563 23563 23563 pts/0 23613 Ss 1000 0:00 \_ bash
23563 23613 23613 23563 pts/0 23613 R+ 1000 0:00 \_ ps jfax
pty
PPID の問題 (pts/1
ここで名前が付けられている)に気付く前に、どのように新しい を取得するかに特に興味があったので、実行してみたところ、の 1 つとの 1 つのstrace -ff gnome-terminal
2 つが表示され、いずれの PID も新しく作成した端末のものではありません。exec
gnome-terminal
gnome-terminal.real
私はそれが UNIX ソケットか何かを介してターミナル サーバーに何らかのメッセージを送信すると想定していますが、それを見つけることができず、becausegnome-terminal-server
を使用しても strace を実行することもできません。sudo
Operation not permitted
grep すると確かにsocket
いくつか見つかりますunix sockets
が、それを に結び付ける有用な手がかりは見つかりませんPID 22404
。
新しい端末を生成する手順と、それが新しい端末を取得する方法ptys
、またはこのソケットを調査する方法などを知っている人はいますか?