blob: 9d775509232f215170c3b42edcc5381d17bf2fce (
plain)
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
|