2 files changed, 12 insertions, 0 deletions
diff --git a/stdlib/shell.c b/stdlib/shell.c
index 7dcc9a0a..30dc7c6f 100644
--- a/stdlib/shell.c
+++ b/stdlib/shell.c
@@ -34,6 +34,17 @@ public Shell_t Shell$escape_text_array(Array_t texts)
     return Text$join(Text(" "), all_escaped);
 }
 
+public Shell_t Shell$escape_path_array(Array_t paths)
+{
+    Array_t all_escaped = {};
+    for (int64_t i = 0; i < paths.length; i++) {
+        Path_t path = *(Path_t*)(paths.data + i*paths.stride);
+        Text_t escaped = Shell$escape_path(path);
+        Array$insert(&all_escaped, &escaped, I(0), sizeof(Text_t));
+    }
+    return Text$join(Text(" "), all_escaped);
+}
+
 public OptionalArray_t Shell$run_bytes(Shell_t command)
 {
     const char *cmd_str = Text$as_c_string(command);
diff --git a/stdlib/shell.h b/stdlib/shell.h
index c20c809d..517a3609 100644
--- a/stdlib/shell.h
+++ b/stdlib/shell.h
@@ -20,6 +20,7 @@ OptionalClosure_t Shell$by_line(Shell_t command);
 Shell_t Shell$escape_text(Text_t text);
 Shell_t Shell$escape_path(Path_t path);
 Shell_t Shell$escape_text_array(Array_t texts);
+Shell_t Shell$escape_path_array(Array_t paths);
 OptionalArray_t Shell$run_bytes(Shell_t command);
 OptionalText_t Shell$run(Shell_t command);
 OptionalInt32_t Shell$execute(Shell_t command);