[misc] Whitespace fixing script

Uses sed. Apply liberally.
s5z · Dec 10, 2014 · a8d1a0b · a8d1a0b
1 parent 99f8a05
commit a8d1a0b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/misc/fix_whitespace.sh b/misc/fix_whitespace.sh
@@ -0,0 +1,3 @@
+#!/bin/bash
+sed -i 's/[ \t]*$//' $@ # kill all trailing whitespace
+sed -i 's/\t/    /' $@  # turn each tab into 4 spaces