Thomas Bruederli
2012-12-16 a072247dde60497f879b2a00790a6ec0a64fab4c
commit | author | age
bc9c02 1 #!/bin/sh
T 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