ボックスを表示しないようにしたりできます。ユーザーに変更させない設定を指定することもできます。起動するときに、設定は、次の順序で各種の場所で処理されます。ファイルを手動で作成する必要があります。起動後に自動的に生成されます。オプションの値になります。ファイルでプロパティを設定します。ファイルを使用します。ファイルに保存されます。プロパティを設定できます。使用して接続するときにサーバ名を変更できなくなります。コマンドを使用します。ディレクトリにあります。すべてのオプションに短縮形があるわけではありませんが、オプション名の短縮形または長形式のいずれかを使用できます。いずれかを使用できます。長形式を使用することを選択すると、ユーザーにとってスクリプトが読みやすくなる場合があります。オプションのリストと使用方法の情報を取得できます。プロキシを使用する必要がある場合は、以下の構文を使用します。options以前、このプロキシ用に設定された環境変数をクリアする必要があるため、この回避策は必要です。内で有効になりません。インスタンス用のプロキシ例外を構成します。オプション名があります。オプションはありますが、構成ファイルで設定できる対応するプロパティがありません。オプションが利用できないので、プロパティを設定する必要があります。