#!/bin/bash

DEST="../lib/jquery.ime";
CLONEDIR="/tmp/jquery.ime";
HERE=`pwd`;
UPSTREAM="https://github.com/wikimedia/jquery.ime.git";
echo -e "Getting latest jquery.ime from $UPSTREAM\n";
if cd $CLONEDIR; then git pull; else git clone $UPSTREAM $CLONEDIR; fi
cd $CLONEDIR;
npm install;
grunt copy concat;
cd $HERE;
cp -rf $CLONEDIR/dist/jquery.ime/{images,css,rules,jquery.ime.js} $DEST;