実際にはそんなにハマってはいないのですが。。。
ということを覚えておくと、書くときに楽になれそう。
$users = []; foreach ($lines as $line) { if (preg_match('|/home/([^\/]+)/|', $line, $matches)) { if (!in_array($matches[1], $users)) $users[] = $matches[1]; } }