ref: ee748abf0f4f4845eda50886d6164e14a3c1fef1
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^'/'^`{echo $i|sed 's!/!\\/!g'}^'/d; '
}