diff options
Diffstat (limited to 'bin/jsunshrink.sh')
-rwxr-xr-x | bin/jsunshrink.sh | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/bin/jsunshrink.sh b/bin/jsunshrink.sh new file mode 100755 index 000000000..90c3ea576 --- /dev/null +++ b/bin/jsunshrink.sh @@ -0,0 +1,24 @@ +#!/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 + +for fn in tiny_mce/tiny_mce; do + if [ -d "$JS_DIR/.svn" ] && which svn >/dev/null 2>&1; then + rm -f "$JS_DIR/${fn}.js" + svn revert "$JS_DIR/${fn}.js" + else + cp "$JS_DIR/${fn}_src.js" "$JS_DIR/${fn}.js" + echo "Reverted $JS_DIR/${fn}.js" + fi +done |