diff options
| author | Alexander Barton <alex@barton.de> | 2019-12-07 01:41:39 +0100 |
|---|---|---|
| committer | Alexander Barton <alex@barton.de> | 2019-12-07 01:41:39 +0100 |
| commit | b03fcaab5aaa07d943561dca6948358f9dc51d4c (patch) | |
| tree | d286619057e90777d5f2742db172507fd94b1016 /contrib/ngindent | |
| parent | 70eb1ee57da9cd0d09d94c05e52308ec2e5ba45b (diff) | |
| download | ngircd-b03fcaab5aaa07d943561dca6948358f9dc51d4c.tar.gz ngircd-b03fcaab5aaa07d943561dca6948358f9dc51d4c.zip | |
contrib/ngindent.sh: Enhance and rename script
Add more GNU indent options for better results, and add the ".sh" suffix to bring this script in line with the others in the contrib/ folder.
Diffstat (limited to 'contrib/ngindent')
| -rwxr-xr-x | contrib/ngindent | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/contrib/ngindent b/contrib/ngindent deleted file mode 100755 index 69636a4b..00000000 --- a/contrib/ngindent +++ /dev/null @@ -1,17 +0,0 @@ -#!/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- |