diff options
author | ng0 <ng0@n0.is> | 2019-10-14 15:21:56 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-10-14 15:21:56 +0000 |
commit | 4f9102a80c7f94b88c51176633a49a8107bbdc4e (patch) | |
tree | b8c5e8ff90f16cdbc201326b63b5a2b22155eb10 /contrib/indent_pre-commit | |
parent | 3d968d36122b64b374feb1be0fd131f6691995f0 (diff) | |
download | gnunet-4f9102a80c7f94b88c51176633a49a8107bbdc4e.tar.gz gnunet-4f9102a80c7f94b88c51176633a49a8107bbdc4e.zip |
move back
Diffstat (limited to 'contrib/indent_pre-commit')
-rwxr-xr-x | contrib/indent_pre-commit | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/contrib/indent_pre-commit b/contrib/indent_pre-commit deleted file mode 100755 index c67fcaf0c..000000000 --- a/contrib/indent_pre-commit +++ /dev/null | |||
@@ -1,22 +0,0 @@ | |||
1 | #!/bin/sh | ||
2 | # Run this script to indent the GNUnet code. When run without arguments, | ||
3 | # it indents the ENTIRE src/ tree. Run with 'src/XXX' to indent the | ||
4 | # src/XXX directory. | ||
5 | # | ||
6 | # This script is in the public domain. | ||
7 | if test $# = 0 | ||
8 | then | ||
9 | PATHS=src/ | ||
10 | else | ||
11 | PATHS="$@" | ||
12 | fi | ||
13 | find $PATHS -name "*.c" -exec indent {} \; | ||
14 | find $PATHS -name "*.h" -exec indent {} \; | ||
15 | find $PATHS -name "*.c" -exec indent {} \; | ||
16 | find $PATHS -name "*.h" -exec indent {} \; | ||
17 | find $PATHS -name "*.c" -exec contrib/scripts/removetrailingwhitespace.py {} \; | ||
18 | find $PATHS -name "*.h" -exec contrib/scripts/removetrailingwhitespace.py {} \; | ||
19 | if test -n "`dos2unix -V | head -n1 | awk '{print $1 $2}'`"; then | ||
20 | find $PATHS -name "*.c" -exec dos2unix {} \; | ||
21 | find $PATHS -name "*.h" -exec dos2unix {} \; | ||
22 | fi | ||