diff options
Diffstat (limited to 'www/wiki/extensions/UniversalLanguageSelector/scripts/update-jquery-ime.sh')
-rwxr-xr-x | www/wiki/extensions/UniversalLanguageSelector/scripts/update-jquery-ime.sh | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/www/wiki/extensions/UniversalLanguageSelector/scripts/update-jquery-ime.sh b/www/wiki/extensions/UniversalLanguageSelector/scripts/update-jquery-ime.sh new file mode 100755 index 00000000..fec9c602 --- /dev/null +++ b/www/wiki/extensions/UniversalLanguageSelector/scripts/update-jquery-ime.sh @@ -0,0 +1,27 @@ +#!/bin/bash + +BASEDIR=$(dirname "$0") +BASEDIR="$BASEDIR/.." + +DEST="$BASEDIR/lib/jquery.ime" +CLONEDIR="$BASEDIR/vendor/jquery.ime" + +UPSTREAM="https://github.com/wikimedia/jquery.ime.git" + +echo "Getting latest jquery.ime from $UPSTREAM" + +if [ -d "$CLONEDIR" ]; then + pushd "$CLONEDIR" + git pull + popd +else + git clone "$UPSTREAM" "$CLONEDIR" +fi + +pushd "$CLONEDIR" +npm install +./node_modules/.bin/grunt copy concat +popd + +rm -rf "$DEST"/* +cp -R "$CLONEDIR"/dist/jquery.ime/{images,css,rules,jquery.ime.js} "$CLONEDIR"/*LICENSE "$DEST" |