mirror of
https://github.com/9fans/plan9port.git
synced 2025-01-12 11:10:07 +00:00
sig: consult unix man pages too
This commit is contained in:
parent
272c1fb2d9
commit
a490444938
1 changed files with 17 additions and 0 deletions
17
bin/sig
17
bin/sig
|
@ -9,6 +9,12 @@ if(~ $#* 0){
|
|||
exit 1
|
||||
}
|
||||
|
||||
noplan9=()
|
||||
for(p in $path) {
|
||||
if(! ~ $p $PLAN9/bin)
|
||||
noplan9=($noplan9 $p)
|
||||
}
|
||||
|
||||
for (i) {
|
||||
files=`{grep -il '[ ]\*?'$i'\(' $PLAN9/man/man3/*.3*}
|
||||
for(j in $files) {
|
||||
|
@ -24,6 +30,17 @@ for (i) {
|
|||
s/[ ]+/ /g' |
|
||||
grep -i -e '[ ]\*?'$i'\(' | sed 's/^[ +]/ /'
|
||||
}
|
||||
{ path=$noplan9; man 2 $i; man 3 $i } >[2]/dev/null | nobs | sed -n '
|
||||
:d
|
||||
/SYNOPSIS/bp
|
||||
n
|
||||
bd
|
||||
:p
|
||||
/DESCRIPTION/bd
|
||||
p
|
||||
n
|
||||
bp
|
||||
' | grep -i -e '[ ]\*?'$i'\(' | sed 's/^[ +]/ /'
|
||||
}
|
||||
|
||||
exit 0
|
||||
|
|
Loading…
Reference in a new issue