#!/bin/bash BASEDIR=$(dirname "$0") BASEDIR="$BASEDIR/.." DEST="$BASEDIR/lib/" 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/jquery.webfonts.js" "$DEST/jquery.webfonts.js"