scripts/jslint.sh
author Daniel Hans <Daniel.M.Hans@gmail.com>
Sat, 14 Nov 2009 17:22:44 +0100
changeset 3088 08b9f4de6675
parent 3065 c7c5212ba840
permissions -rwxr-xr-x
Users who claim or work on tasks may list them without having student role.

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