第5章 JBoss Server Migration Tool の設定

JBoss Server Migration Tool は、MIGRATION_TOOL_HOME/configuration/ ディレクトリーにある environment.properties ファイルを使用して設定できます。この標準的な Java プロパティーファイルは、ターゲットサーバーへの移行時に設定可能なすべての有効なプロパティーのデフォルト値を提供します。デフォルト値を変更するには、プロパティーの前にあるコメント文字 # を削除し、必要な値に設定します。

JBoss Server Migration Tool の設定プロパティーを定義する標準の Java プロパティーファイルを作成し、--environment や -e 引数を使用してコマンドラインでそのパスを渡すこともできます。このパスは、現在のディレクトリーに対する絶対パスまたは相対パスになります。

$ MIGRATION_TOOL_HOME/bin/jboss-server-migration.sh --source EAP_PREVIOUS_HOME --target EAP_NEW_HOME --environment path/to/my-server-migration.properties

--environment または -e 引数を使用してコマンドラインで渡されたファイルで定義されたプロパティーは、MIGRATION_TOOL_HOME/migration/configuration/environment.properties ファイルで定義されたプロパティーをオーバーライドします。

以下の構文を使用して、JBoss Server Migration Tool をコマンドラインにシステムプロパティーを渡すと設定できます。

$ MIGRATION_TOOL_HOME/bin/jboss-server-migration.sh --source EAP_PREVIOUS_HOME --target EAP_NEW_HOME -Djboss.server.migration.PROPERTY_NAME=PROPERTY_VALUE

システムプロパティー名は、環境プロパティー名と連結された jboss.server.migration. に環境変数名を指定する必要があります。以下の例では、JBoss Server Migration Tool の起動時に XML レポートの名前を migration-report.xml として指定する方法を表しています。

$ MIGRATION_TOOL_HOME/bin/jboss-server-migration.sh --source EAP_PREVIOUS_HOME --target EAP_NEW_HOME -Djboss.server.migration.report.xml.fileName=migration-report.xml

コマンドラインで指定された環境プロパティーは、ユーザー設定プロパティーおよびツール設定プロパティーの両方を上書きします。