scripts/jslint.sh
author Lennard de Rijk <ljvderijk@gmail.com>
Sun, 08 Nov 2009 11:54:44 -0800
changeset 3080 30a33926ab91
parent 3065 c7c5212ba840
permissions -rwxr-xr-x
Fixed an error with the task_history not being loaded when it was empty.

#!/bin/bash
#Requires java installed

echo "JSLINT: running jslint"

JS_DIRECTORY="../app/soc/content/js"
JSLINT="../thirdparty/jslint/jslint.js"
RHINO="../thirdparty/shrinksafe/js.jar"

for dir in $(find $JS_DIRECTORY -type d); do
  for i in $(find $dir/*.js -type f); do
    echo "JSLINT: Processing $i"
    java -jar $RHINO $JSLINT $i
  done
done

echo "JSLINT: process finished"