我想用 PHP 用 SSH 启动一个程序，效果很好，但现在我想用 PHP 杀死屏幕，但我唯一知道的是屏幕的名称。如何（自动）找出屏幕 ID？
ssh ubuntu gnu-screen php
gnu-screen ×1
php ×1
ssh ×1
ubuntu ×1