ref: 902d9d88e618ff8e50262d22f8a0f78c5010dc25
dir: /bin/wercconf.rc/
# To be used from config files fn conf_perm_redirect { if(~ $#* 1) perm_redir_to=$1 if not { perm_redir_patterns=($perm_redir_patterns $1 $2) conf_hide_paths $1 # XXX Will hide paths even if replacement string is the same as matched sctring. } } fn conf_hide_paths { for(i in $*) dirfilter=$dirfilter^'/'^`{echo $sitedir'/'$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 ) }