Thomas Bruederli
2012-07-13 88fb5635109ff5ed994aa5624c0bc1a95c814176
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