バックグラウンドプロセス化する際にプロセスIDを取得する方法
タイトル通り。なんらかのサーバー起動コマンドを実行する場合にバックグラウンドプロセス化してその際にそのプロセスのプロセスIDを取得する方法
# shsはpython -mSimpleHTTPServerのエイリアス
shs > server.log & echo $! > server.pid
終わり。良く忘れそうなので
タイトル通り。なんらかのサーバー起動コマンドを実行する場合にバックグラウンドプロセス化してその際にそのプロセスのプロセスIDを取得する方法
# shsはpython -mSimpleHTTPServerのエイリアス
shs > server.log & echo $! > server.pid
終わり。良く忘れそうなので