~kris/9p

krisyotam.net

krisyotam.net/bin/wercconf.rc -rwxr-xr-x 467 bytes
8bfa4b74 — Kris Yotam ci: declare SourceHut source for push builds a month ago
                                                                                
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
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 )
}