オプション | アクション |
quit | Change Manager とすべてのプラグインを停止します。 |
stop | Change Manager とすべてのプラグインを停止します。quit と同じです。 |
exit | Change Manager とすべてのプラグインを停止します。quit と同じです。 |
help | マニュアルを参照できます。 |
? | マニュアルを参照できます。help と同じです。 |
restart | Change Manager とすべてのプラグインサブシステムを停止し、再開します。 |
start plug-in | プラグインを起動します。現在、Control と Monitor がプラグインとして定義されています。 |
stop plug-in | プラグインを停止します。現在、Control と Monitor がプラグインとして定義されています。
メモ 代わりに、plug-in stop、plug-in quit そして、plug-in kill という形式も使用できます。 |
restart plug-in | プラグインを停止して起動します。現在、Control と Monitor がプラグインとして定義されています。
メモ 代わりに、plug-in restart という形式も使用できます。 |
plug-in command | 存在し実行中である場合、名前付きのプラグインにコマンドの発行を試行します。 |
reset | 内部の参照キャッシュをリセットします。 |
control process | "PlanControl" (control) プラグインに、すべての計画の処理とチェックを要求します。 |