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