1234567891011121314151617 |
- #!/bin/sh
- INDENTARGS="-kr -i8 -ts8 -l80 -c3 -cd41 -ss -ncs -psl"
- # check if indent(1) is available
- command -v indent >/dev/null 2>&1 && INDENT="indent"
- command -v gindent >/dev/null 2>&1 && INDENT="gindent"
- command -v gnuindent >/dev/null 2>&1 && INDENT="gnuindent"
- if [ -z "$INDENT" ]; then
- echo "Error: GNU \"indent\" not found!"
- exit 1
- fi
- $INDENT -v $INDENTARGS "$@"
- # -eof-
|