diff --git a/convert_spaces_to_tabs.sh b/convert_spaces_to_tabs.sh deleted file mode 100755 index 8f98f6ae..00000000 --- a/convert_spaces_to_tabs.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh - -if test "$#" -lt 1 -then - echo "Usage: $0 file ..." - exit 2 -fi - -for file in "$@" -do - # Do the sed magic: keep replacing 4 spaces at the begining of line - sed -i -re ' - : loop - s/^( *) /\1 / - t loop - ' "$file" -done