Show Menu
トピック×

設定オプション

「設定」オプションを選択すると 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がサーバーへの接続を試行します。 If a connection is established, a green node appears in the Servers Manager as shown below. Data Workbenchがサーバーに接続できない場合は、赤いノードが表示されます。