From b03fcaab5aaa07d943561dca6948358f9dc51d4c Mon Sep 17 00:00:00 2001
From: Alexander Barton <alex@barton.de>
Date: Sat, 7 Dec 2019 01:41:39 +0100
Subject: 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.
---
 contrib/ngindent | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100755 contrib/ngindent

(limited to 'contrib/ngindent')

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-
-- 
cgit 1.4.1