Files
mediawiki-extensions-Univer…/scripts/update-jquery-uls.sh
Santhosh Thottingal eb7cb4ecd5 Add scripts to update js libraries from upstream
Change-Id: Ie2c7727afc5bd7c7d0ab44b50070e6ea49ee6e96
2013-11-25 14:35:05 +05:30

10 lines
314 B
Bash
Executable File

#!/bin/bash
DEST="../lib/jquery.uls";
CLONEDIR="/tmp/jquery.uls";
HERE=`pwd`;
UPSTREAM="https://github.com/wikimedia/jquery.uls.git";
echo -e "Getting latest jquery.uls from $UPSTREAM\n";
if cd $CLONEDIR; then git pull; else git clone $UPSTREAM $CLONEDIR; fi
cd $HERE;
cp -rf $CLONEDIR/{images,css,src,i18n} $DEST