fix.sh

   1 #!/bin/bash
   2
   3 [[ $# < 1 ]] && echo "Usage: $0 files" && exit 1
   4
   5 FILES="$@"
   6
   7 function space_r_space()
   8 {
   9         PATTERN=$1
  10
  11         while grep -q "[\*_a-zA-Z0-9]${PATTERN}[\*_a-zA-Z0-9]" $FILES; do
  12                 sed "s/\([\*_a-zA-Z0-9]\)${PATTERN}\([\*_a-zA-Z0-9]\)/\1 ${PATTERN} \2/g" -i $FILES
  13         done
  14 }
  15
  16 function r_space()
  17 {
  18         PATTERN=$1
  19
  20         while grep -q "[\*_a-zA-Z0-9]${PATTERN}[\*_a-zA-Z0-9]" $FILES; do
  21                 sed "s/\([\*_a-zA-Z0-9]\)${PATTERN}\([\*_a-zA-Z0-9]\)/\1${PATTERN} \2/g" -i $FILES
  22         done
  23
  24 }
  25
  26 space_r_space '\*='
  27 space_r_space '='
  28 space_r_space '=='
  29 space_r_space '<'
  30 space_r_space '>'
  31 space_r_space '<='
  32 space_r_space '>='
  33
  34 r_space ','
  35 r_space ';'
  36