tools/convert-whitespace.sh


1
2
3
4
5
6
7
8
9
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