Files F117752641

jsunshrink.sh
No OneTemporary
Actions

Authored By

Unknown

Size

306 B

Referenced Files

None

Subscribers

None

jsunshrink.sh
View Options

	#!/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

File Metadata

Mime Type: text/x-shellscript
Expires: Sat, Apr 4, 4:26 AM (1 d, 2 h ago)
Storage Engine: blob
Storage Format: Raw Data
Storage Handle: 18640998
Default Alt Text: jsunshrink.sh (306 B)

Event Timeline