diff options
Diffstat (limited to 'scripts/kr.sh')
| -rwxr-xr-x | scripts/kr.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/scripts/kr.sh b/scripts/kr.sh deleted file mode 100755 index 4977efc..0000000 --- a/scripts/kr.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh -PWD=$(pwd) -[[ ${PWD/*\//} = scripts ]] && pushd .. > /dev/null || pushd . > /dev/null - -if [ ! "$1" ]; then - echo "Help: this script indents code according to the K&R standard" - echo "Usage: $0 path/to/file.c" - exit 1 -elif [ ! -e "$1" ]; then - echo "Error: file '$1' doesn't exist!" - exit 1 -fi - -indent -kr -l79 -ts4 -ip4 -ppi 4 "$1" |