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