Was macht file-editor?
Vermittelt die Verwendung des Write-Tools zur Dateibearbeitung: vollständiges Überschreiben, SEARCH/REPLACE, Anhängen an das Ende, Einfügen am Anfang. Bei der Bearbeitung von Dateien aufrufen. WICHTIG: Dieses Skill ist TRAE-spezifisch und verwendet TRAEs Write-Tool – nicht kompatibel mit anderen Agentenumgebungen.