設定オプション

最終更新日: 2022-10-05
  • 作成対象:
  • User
    Admin
重要

Data Workbench 提供終了のお知らせ.

「設定」オプションを選択すると 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がサーバーに接続できない場合は、赤いノードが表示されます。

このページ