この節では,ログオプションの設定方法の詳細について説明します。また,設定したオプションを保存する方法と,それをほかのPCへ配布する方法についても説明します。
ログファイルは,ログインしたユーザごとに作成されます。同じファイルに複数のユーザがログを出力するような運用をする場合は,ユーザごとにログオプション設定ツールで同じファイルを指定してください。