Merge branch 'dev-opengl' into dev

2 files changed, 14 insertions, 0 deletions

diff --git a/tools/README.txt b/tools/README.txt
new file mode 100644
index 0000000..89d5b9c
--- /dev/null
+++ b/tools/README.txt
@@ -0,0 +1,4 @@
+tools/
+
+This directory contains useful scripts for changing many files at once,
+for example replacing string occurences or converting whitespace.
diff --git a/tools/convert-whitespace.sh b/tools/convert-whitespace.sh
new file mode 100755
index 0000000..6f844ad
--- /dev/null
+++ b/tools/convert-whitespace.sh
@@ -0,0 +1,10 @@
+#!/bin/bash
+
+# A script for converting whitespace from old format to new
+# For each argument, replaces tabs with 4 spaces and DOS line endings to UNIX
+
+for file in "$@"; do
+	dos2unix "$file"
+	expand -t 4 "$file" > "$file.out"
+	mv -f "$file.out" "$file"
+done