#! /bin/zsh

setopt extendedglob

script-search-docu () {
    local search=$1
    local label=$2
    local docpath=$3
    files=("${(@f)$(grep -w -i $search -l ${docpath}/**/*~*.gz(.))}")
    for f in $files; do
        local data=`grep -w -c -H -i $search $f`
        local occs=${data##*:}
        local filename=${data%:*}
        echo $filename\\t$occs\\t$label
    done | sort -n -r | head -n 10
}

script-search-rfc    () { script-search-docu $1 "rfc"    "/usr/share/doc/RFC" }
script-search-man    () { script-search-docu $1 "man"    "/usr/share/man"     }
script-search-jargon () { script-search-docu $1 "jargon" "$HOME/jargon" }

script-cid () {
    local search=$1
    script-search-rfc    $search
    script-search-man    $search
    script-search-jargon $search
}

script-cid $@