bin/jsunshrink.sh

   1 #!/bin/sh
   2 JS_DIR=`dirname "$0"`/../program/js
   3
   4 if [ ! -d "$JS_DIR" ]; then
   5         echo "Directory $JS_DIR not found."
   6         exit 1
   7 fi
   8
   9 for fn in app common googiespell list; do
  10         if [ -r "$JS_DIR/${fn}.js.src" ]; then
  11                 mv "$JS_DIR/${fn}.js.src" "$JS_DIR/${fn}.js"
  12                 echo "Reverted $JS_DIR/${fn}.js"
  13         fi
  14 done