mirror of https://github.com/mkerrisk/man-pages
67 lines
1.8 KiB
Bash
67 lines
1.8 KiB
Bash
#!/bin/sh
|
|
#
|
|
# find_dot_no_parens.sh
|
|
#
|
|
# Look for function names after /^.[BIR]/ that aren't
|
|
# followed by "()".
|
|
#
|
|
# This script is designed to help with "by hand" tidy-ups after
|
|
# the automated changes made by add_parens_for_own_funcs.sh.
|
|
#
|
|
# The first argument to this script names a manual page directory where
|
|
# 'man2' and 'man3' subdirectories can be found. The pages names in
|
|
# these directories are used to generate a series of regular expressions
|
|
# that can be used to search the manual page files that are named in
|
|
# the remaining command-line arguments.
|
|
#
|
|
# Example usage:
|
|
#
|
|
# cd man-pages-x.yy
|
|
# sh find_dots_no_parens.sh . man?/*.? > matches.log
|
|
|
|
if test $# -lt 2; then
|
|
echo "Usage: $0 man-page-root-dir file file..." 1>&2
|
|
exit 1
|
|
fi
|
|
|
|
dir=$1
|
|
|
|
if ! test -d $dir/man2 || ! test -d $dir/man3; then
|
|
echo "Can't find man2 and man3 under $dir" 1>&2
|
|
exit 1
|
|
fi
|
|
|
|
shift 1
|
|
|
|
echo "This will take probably a few moments..." 1>&2
|
|
|
|
awk_script_file=tmp.$0.awk
|
|
rm -f $awk_script_file
|
|
|
|
# We grep out a few page names that are likely to generate false
|
|
# positives...
|
|
echo '{' >> $awk_script_file
|
|
echo ' myvar = $2;' >> $awk_script_file
|
|
echo ' gsub("[^a-z_0-9]*$", "", myvar);' >> $awk_script_file
|
|
echo ' if ( myvar == "NOMATCHESFORTHIS" || ' >> $awk_script_file
|
|
|
|
for page in $(
|
|
|
|
find $dir/man2/* $dir/man3/* -type f -name '*.[23]' |
|
|
egrep -v '/(stderr|stdin|stdout|errno|termios|string)\..$'); do
|
|
|
|
base=$(basename $page | sed -e 's/\.[23]$//')
|
|
echo " myvar == \"$base\" ||" >> $awk_script_file
|
|
|
|
done
|
|
|
|
echo ' myvar == "NOMATCHESFORTHIS" )' >> $awk_script_file
|
|
echo ' print $0' >> $awk_script_file
|
|
echo '}' >> $awk_script_file
|
|
|
|
grep '^\.[BRI][BRI]* [a-zA-Z0-9_][a-zA-Z0-9_]*[^a-zA-Z_]*$' $* |
|
|
awk -f $awk_script_file | grep -v '([0-9]*)'
|
|
|
|
rm -f $awk_script_file
|
|
exit 0
|