2006-07-23 13:34:32 +02:00
|
|
|
#/bin/sh
|
|
|
|
|
|
|
|
|
|
INDENTARGS="-kr -i8 -ts8 -l80 -c3 -cd41 -ss -ncs -psl"
|
|
|
|
|
|
|
|
|
|
# check if indent(1) is available
|
|
|
|
|
type indent >/dev/null 2>&1 && INDENT="indent"
|
2011-08-01 23:39:29 +02:00
|
|
|
type gindent >/dev/null 2>&1 && INDENT="gindent"
|
2006-07-23 13:34:32 +02:00
|
|
|
type gnuindent >/dev/null 2>&1 && INDENT="gnuindent"
|
|
|
|
|
|
|
|
|
|
if [ -z "$INDENT" ]; then
|
|
|
|
|
echo "Error: GNU \"indent\" not found!"
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
$INDENT -v $INDENTARGS $*
|
|
|
|
|
|
|
|
|
|
# -eof-
|
