Files
mediawiki-extensions-Univer…/scripts/update-jquery-ime.sh
Kartik Mistry b7e6aaa475 shellcheck fixes
* Script: https://github.com/koalaman/shellcheck
* Use $(..) instead of deprecated `..`
* Use double quote to prevent globbing and word splitting.

Change-Id: I68372d4e29ae34e0704e5a605447ad17bf0666d7
2014-04-01 07:58:24 +00:00

21 lines
407 B
Bash
Executable File

#!/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 [ -d $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;