Aleksander Machniak
2013-01-14 9be085b2f34e9e42ce9821ffadaca98f989e4364
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