globs: adding rglob

mrjbq7 · Jul 10, 2024 · 3ef6e26 · 3ef6e26
1 parent 26de528
commit 3ef6e26
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/basis/globs/globs.factor b/basis/globs/globs.factor
@@ -157,3 +157,6 @@ PRIVATE>
     glob-path [
         [ 1array f swap ] when-empty glob%
     ] { } make ;
+
+: rglob ( glob -- files )
+    "**/" prepend glob ;