bryce/mediawiki-extensions-UniversalLanguageSelector
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge "Update upstream update scripts"

Browse Source
This commit is contained in:
jenkins-bot
2016-05-04 12:16:06 +00:00
committed by Gerrit Code Review
parent 3a77119ed3 1a378e3cca
commit 2580a281b6
4 changed files with 65 additions and 43 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
scripts/update-jquery-i18n.sh
View File

@@ -1,17 +1,22 @@
#!/bin/bash #!/bin/bash
DEST="../lib/jquery.i18n"; BASEDIR=$(dirname "$0")
CLONEDIR="/tmp/jquery.i18n"; BASEDIR="$BASEDIR/.."
HERE=$(pwd);
UPSTREAM="https://github.com/wikimedia/jquery.i18n.git";
echo -e "Getting latest jquery.i18n from $UPSTREAM\n"; DEST="$BASEDIR/lib/jquery.i18n"
CLONEDIR="$BASEDIR/vendor/jquery.i18n"
if [ -d $CLONEDIR ]; then UPSTREAM="https://github.com/wikimedia/jquery.i18n.git"
git pull;
echo "Getting latest jquery.i18n from $UPSTREAM"
if [ -d "$CLONEDIR" ]; then
pushd "$CLONEDIR"
git pull
popd
else else
git clone $UPSTREAM $CLONEDIR; git clone "$UPSTREAM" "$CLONEDIR"
fi fi
cd "$HERE"; rm -rf "$DEST"/*
cp -rf $CLONEDIR/src/* $DEST cp -R "$CLONEDIR"/src/* "$DEST"

33
scripts/update-jquery-ime.sh
View File

@@ -1,20 +1,27 @@
#!/bin/bash #!/bin/bash
DEST="../lib/jquery.ime"; BASEDIR=$(dirname "$0")
CLONEDIR="/tmp/jquery.ime"; BASEDIR="$BASEDIR/.."
HERE=$(pwd);
UPSTREAM="https://github.com/wikimedia/jquery.ime.git";
echo -e "Getting latest jquery.ime from $UPSTREAM\n"; DEST="$BASEDIR/lib/jquery.ime"
CLONEDIR="$BASEDIR/vendor/jquery.ime"
if [ -d $CLONEDIR ]; then UPSTREAM="https://github.com/wikimedia/jquery.ime.git"
git pull;
echo "Getting latest jquery.ime from $UPSTREAM"
if [ -d "$CLONEDIR" ]; then
pushd "$CLONEDIR"
git pull
popd
else else
git clone $UPSTREAM $CLONEDIR; git clone "$UPSTREAM" "$CLONEDIR"
fi fi
cd $CLONEDIR; pushd "$CLONEDIR"
npm install; npm install
grunt copy concat; ./node_modules/.bin/grunt copy concat
cd "$HERE"; popd
cp -rf $CLONEDIR/dist/jquery.ime/{images,css,rules,jquery.ime.js} $DEST;
rm -rf "$DEST"/*
cp -R "$CLONEDIR"/dist/jquery.ime/{images,css,rules,jquery.ime.js} "$DEST"

25
scripts/update-jquery-uls.sh
View File

@@ -1,17 +1,22 @@
#!/bin/bash #!/bin/bash
DEST="../lib/jquery.uls"; BASEDIR=$(dirname "$0")
CLONEDIR="/tmp/jquery.uls"; BASEDIR="$BASEDIR/.."
HERE=$(pwd);
UPSTREAM="https://github.com/wikimedia/jquery.uls.git";
echo -e "Getting latest jquery.uls from $UPSTREAM\n"; DEST="$BASEDIR/lib/jquery.uls"
CLONEDIR="$BASEDIR/vendor/jquery.uls"
if [ -d $CLONEDIR ]; then UPSTREAM="https://github.com/wikimedia/jquery.uls.git"
git pull;
echo "Getting latest jquery.uls from $UPSTREAM"
if [ -d "$CLONEDIR" ]; then
pushd "$CLONEDIR"
git pull
popd
else else
git clone $UPSTREAM $CLONEDIR; git clone "$UPSTREAM" "$CLONEDIR"
fi fi
cd "$HERE"; rm -rf "$DEST"/*
cp -rf $CLONEDIR/{images,css,src,i18n} $DEST cp -R "$CLONEDIR"/{images,css,src,i18n} "$DEST"

25
scripts/update-jquery-webfonts.sh
View File

@@ -1,17 +1,22 @@
#!/bin/bash #!/bin/bash
DEST="../lib/"; BASEDIR=$(dirname "$0")
CLONEDIR="/tmp/jquery.webfonts"; BASEDIR="$BASEDIR/.."
HERE=$(pwd);
UPSTREAM="https://github.com/wikimedia/jquery.webfonts.git";
echo -e "Getting latest jquery.webfonts from $UPSTREAM\n"; DEST="$BASEDIR/lib/"
CLONEDIR="$BASEDIR/vendor/jquery.wefonts"
if [ -d $CLONEDIR ]; then UPSTREAM="https://github.com/wikimedia/jquery.webfonts.git"
git pull;
echo "Getting latest jquery.wefonts from $UPSTREAM"
if [ -d "$CLONEDIR" ]; then
pushd "$CLONEDIR"
git pull
popd
else else
git clone $UPSTREAM $CLONEDIR; git clone "$UPSTREAM" "$CLONEDIR"
fi fi
cd "$HERE"; rm -rf "$DEST/jquery.webfonts.js"
cp -rf $CLONEDIR/src/* $DEST cp -R "$CLONEDIR/src/jquery.webfonts.js" "$DEST/jquery.webfonts.js"