bin/jsunshrink.sh


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 treelist; 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