ref: 2054e21d656f2dded7ad32521ced33dfa80ddf43
dir: /bin/wercconf.rc/
# To be used from config files fn conf_perm_redirect { if(~ $#* 1) perm_redirect $1 if not perm_redir_patterns=($perm_redir_patterns $1 $2) } fn conf_hide_paths { for(i in $*) dirfilter=$dirfilter^'/^'$i'$/d; ' }