web/programs: Local programs to include /Users

osnr · osnr · commit 1deeef15e33b · 2025-12-21T17:18:43.000-05:00
diff --git a/builtin-programs/web/programs.folk b/builtin-programs/web/programs.folk
@@ -32,6 +32,9 @@ Wish the web server handles route "/programs" with handler {
                 "/home/*" {
                     lappend cp $match
                 }
+                "/Users/*" {
+                    lappend cp $match
+                }
                 "web-program-*" {
                     lappend wp $match
                 }

Original file line number	Diff line number	Diff line change
`@@ -32,6 +32,9 @@ Wish the web server handles route "/programs" with handler {`
`32`	`32`	`"/home/*" {`
`33`	`33`	`lappend cp $match`
`34`	`34`	`}`
	`35`	`+ "/Users/*" {`
	`36`	`+ lappend cp $match`
	`37`	`+ }`
`35`	`38`	`"web-program-*" {`
`36`	`39`	`lappend wp $match`
`37`	`40`	`}`