■debian WheezyでPIDを探す方法 PIDの取得は目的があって探すことがほとんど。 本当にPIDだけを知りたいなら、以下で良い。 $ pgrep bash 9995 10565 10769 ■目的を達成できれば方法はどうでもよいのだけど、 例えば「ps -ef」がSolarisでエラーになって困る…