1 files changed, 19 insertions, 0 deletions
diff --git a/bin/wercconf.rc b/bin/wercconf.rc
new file mode 100755
index 0000000..bb3422d
--- /dev/null
+++ b/bin/wercconf.rc
@@ -0,0 +1,19 @@
+# To be used from config files
+fn conf_perm_redirect {
+    if(~ $#* 1)
+        perm_redir_to=$1
+    if not
+        ll_addh perm_redir_patterns $1 $2
+}
+
+fn conf_hide_paths {
+    for(i in $*)
+       dirfilter=$dirfilter^'/'^`{echo $sitedir$conf_wd$i|sed 's!/+!\\/!g'}^'/d; '
+}
+
+# Usually will be called from within conf_enable_foo 
+fn conf_enable_app {
+    # Note: maybe we should add test -d apps/$1/?
+    if(! ~ $1 $enabled_apps)
+	enabled_apps=( $enabled_apps $1 )
+}