diff options
Diffstat (limited to 'contrib/ngindent')
| -rwxr-xr-x | contrib/ngindent | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/contrib/ngindent b/contrib/ngindent new file mode 100755 index 00000000..73537a6d --- /dev/null +++ b/contrib/ngindent @@ -0,0 +1,16 @@ +#/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" +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- |