delete_file
ワークスペース内のファイルまたはディレクトリを削除します。このツールはrmコマンドの安全な代替手段を提供し、クロスプラットフォームで動作します。
パラメータ説明
path(必須):削除対象のファイル/ディレクトリの相対パス
機能説明
このツールはユーザー確認付きの安全な削除操作をサポートします。ディレクトリを削除する場合は、まずすべての含まれるファイルを検証し、統計情報を表示してから削除を実行します。
安全機能
- ワークスペース内のファイル/ディレクトリのみを削除
- 削除操作はユーザー確認が必要
- 書き込み保護されたファイルの削除を禁止
.vjspignoreルールに基づいてすべての削除対象ファイルを検証- ディレクトリ削除シナリオ:ディレクトリを再帰的にスキャンし、削除前にファイル数、ディレクトリ数、総サイズなどの統計情報を表示
- ディレクトリ内に保護/無視されたファイルが含まれている場合、ディレクトリ全体の削除操作がブロックされます
使用方法
単一ファイルの削除
xml
<delete_file>
<path>temp/old_file.txt</path>
</delete_file>ディレクトリの削除
xml
<delete_file>
<path>old_project/</path>
</delete_file>ディレクトリを削除する場合、ツールは次のフローで実行されます:
- ターゲットディレクトリを再帰的にスキャン
- すべてのファイルが削除条件を満たしているか検証
- ファイル数、サブディレクトリ数、総サイズのサマリー情報を表示
- ユーザー確認を待って削除操作を実行
例外処理
ツールは次のシナリオに対して明確なエラーメッセージを返します:
- 削除対象のファイル/ディレクトリが存在しない
- ファイルが書き込み保護されている
- ファイルが
.vjspignoreルールによってブロックされている - ディレクトリ内に保護/無視されたファイルが含まれている
- ターゲットパスがワークスペース外である
