ref: 803401229c08c73e66ba353b4e40ac6d448f9a28
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; '
}