f25fca0dcb
* This avoids warnings like: line 8: cd: /tmp/jquery.ime: No such file or directory. * Formatting fixes. Change-Id: Icbc3f6f80314cae3ea9b5dfdc3e66c59af225621
18 lines
318 B
Bash
Executable File
18 lines
318 B
Bash
Executable File
#!/bin/bash
|
|
|
|
DEST="../lib/jquery.i18n";
|
|
CLONEDIR="/tmp/jquery.i18n";
|
|
HERE=`pwd`;
|
|
UPSTREAM="https://github.com/wikimedia/jquery.i18n.git";
|
|
|
|
echo -e "Getting latest jquery.i18n from $UPSTREAM\n";
|
|
|
|
if [ -d $CLONEDIR ]; then
|
|
git pull;
|
|
else
|
|
git clone $UPSTREAM $CLONEDIR;
|
|
fi
|
|
|
|
cd $HERE;
|
|
cp -rf $CLONEDIR/src/* $DEST
|