update-jquery-webfonts.sh
No OneTemporary
Actions

Size

436 B

Referenced Files

None

Subscribers

None

update-jquery-webfonts.sh
View Options

	#!/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.webfonts 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"