matita/matita/contribs/lambdadelta/replace.sh

   1 #!/bin/sh
   2 for SRC in `find grond_2 static_2 basic_2 apps_2 -name "*.ma" -or -name "*.tbl"`; do
   3    sed "s!$1!$2!g" ${SRC} > ${SRC}.new
   4    if [ ! -s ${SRC}.new ] || diff ${SRC} ${SRC}.new > /dev/null;
   5       then rm -f ${SRC}.new;
   6       else echo ${SRC}; mv -f ${SRC} ${SRC}.old; mv -f ${SRC}.new ${SRC};
   7    fi
   8 done
   9
  10 unset SRC