#!/bin/bash
[ $# == 0 ] && echo "Usage: $0 src/[some-dir]/*.{h,cc}" && exit 1

# Let's run a set of in-place modifications by sed-commands,
for file in $@; do
  sed -i 's/; \/\//;  \/\//' $file # '; //' -> ';  //'
  sed -i 's/{ \/\//{  \/\//' $file # '{ //' -> '{  //'
  sed -i 's/} \/\//}  \/\//' $file # '} //' -> '}  //'
  sed -i 's/for(/for (/' $file     # 'for(' -> 'for ('
  sed -i 's/if(/if (/' $file       # 'if(' -> 'if ('
  sed -i 's/\s\s*$//' $file        # 'remove white-space at the end of lines'
done