この節では，ログオプションの設定方法の詳細について説明します。また，設定したオプションを保存する方法と，それをほかのPCへ配布する方法についても説明します。

ログファイルは，ログインしたユーザごとに作成されます。同じファイルに複数のユーザがログを出力するような運用をする場合は，ユーザごとにログオプション設定ツールで同じファイルを指定してください。

＜この節の構成＞

8.3.1　ログオプションの設定

8.3.2　EURログオプションファイルの保存と読み込み

8.3.3　EURログオプションファイルの配布