script to remove whitespace at the end of a line

git-svn-id: https://gnunet.org/svn/gnunet@16619 140774ce-b5e7-0310-ab8b-a85725594a96

1 files changed, 14 insertions, 0 deletions

diff --git a/contrib/removetrailingwhitespace b/contrib/removetrailingwhitespace
new file mode 100755
index 0000000000..9e620cbb26
--- /dev/null
+++ b/contrib/removetrailingwhitespace
@@ -0,0 +1,14 @@
+#!/usr/bin/python
+
+import sys
+import re
+
+for fileName in sys.argv[1:]:
+   f = open(fileName, 'r+')
+   fileString = f.read()
+
+   fileString = re.sub(r'[ ]+\n', r'\n', fileString)
+   fileString = re.sub(r'\r', r'', fileString)
+   f.seek(0)
+   f.write(fileString)
+   f.truncate(len(fileString))