8. Device Manager CLIのプロパティファイル
Device Manager CLIのプロパティファイルで指定できる設定について説明します。
この章の構成
8.1 Device Manager CLIのプロパティファイルについて
8.2 ログファイルの出力先を指定するプロパティ(HiCommandCLI.logfile)
8.3 ログレベルを指定するプロパティ(HiCommandCLI.diaglevel)
8.4 メッセージトレースファイルの出力先を指定するプロパティ(HiCommandCLI.tracefile)
8.5 Device ManagerサーバのURLを指定するプロパティ(HiCommandCLI.serverurl)
8.6 コマンドのオプションを指定するプロパティ
8.7 プロパティによるパラメーターの指定
8.8 DTDファイルを指定するプロパティ(dtd)