設定オプション

「設定」オプションを選択すると Insight.cfg ファイルが開きます。このファイルは各種サーバーへの接続を制御します。

Insight.cfg ファイルを編集するには

1. Insight.cfg ウィンドウで、必要に応じてパラメーターを変更します。詳しくは、 Insight.cfg ファイル： Insight 設定パラメーター.
2. 設定を保存するには、右クリックします。 Insight.cfg (modified) ウィンドウの上部にあるをクリックし、 Save as Insight.cfg.

新しいサーバーを追加するには

1. 内 Insight.cfg ウィンドウ、右クリック Servers をクリックし、 Add new child > Server.

   

2. サーバーのパラメーターを入力または変更して、Data Workbenchが目的のサーバーにアクセスできるようにします。 詳しくは、 Insight.cfg ファイル： Insight 設定パラメーター.

3. 接続を設定するサーバーごとに手順 1 と 2 を繰り返します。

4. 設定を保存するには、右クリックします。 Insight.cfg (modified) ウィンドウの上部にあるをクリックし、 Save as Insight.cfg.

Data Workbenchは、指定した設定を使用してサーバーへの接続を試みます。 接続が確立されると、緑のノードが Servers Manager 以下に示すように。 Data Workbenchがサーバーに接続できない場合は、赤いノードが表示されます。