Refined dev roleHEADmain

Now it uses wrapped tool scripts instead of raw bash commands.
Together with JSON function mapping this enables better use-case fitting and less errors in tool usage (e.g. partial file writes with out-of-context deletions).

2 files changed, 10 insertions, 1 deletions

diff --git a/tools/execute_command.sh b/tools/execute_command.sh
index b98aa55..c6504bf 100755
--- a/tools/execute_command.sh
+++ b/tools/execute_command.sh
@@ -68,7 +68,7 @@ main() {
 
   # Run command (do not let failures exit the tool)
   set +e
-  bash -lc "$cmd" >"$out_file" 2>"$err_file"
+  : | bash -lc "$cmd" >"$out_file" 2>"$err_file"
   rc=$?
   set -e
 
diff --git a/tools/fs_patch.sh b/tools/fs_patch.sh
index 2d9d7e4..a87cef5 100755
--- a/tools/fs_patch.sh
+++ b/tools/fs_patch.sh
@@ -6,6 +6,15 @@ set -uo pipefail
 # @option --path The path of the file to apply to
 # @option --contents The patch to apply to the file
 # @env LLM_OUTPUT=/dev/stdout The output path
+#
+# Example:
+# --- a/hello.py
+# +++ b/hello.py
+# \@@ ... @@
+#  def hello():
+# -    print("Hello World")
+# +    name = input("What is your name? ")
+# +    print(f"Hello {name}")
 
 ROOT_DIR="${LLM_ROOT_DIR:-$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)}"
 OUT="${LLM_OUTPUT:-/dev/stdout}"