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

Update upstream update scripts

Browse Source 
* Allow to run any directory
* Leaving stuff on /tmp was not nice
* Git pull was run on wrong directory

Change-Id: Ia7f82de55c9bd446c29afc0684660ed00b6585bf
This commit is contained in:
Niklas Laxström
2016-04-15 07:47:23 +02:00
parent 3cfb0d67e5
commit 1a378e3cca
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
DEST="../lib/jquery.i18n";
CLONEDIR="/tmp/jquery.i18n";
HERE=$(pwd);
UPSTREAM="https://github.com/wikimedia/jquery.i18n.git";
BASEDIR=$(dirname "$0")
BASEDIR="$BASEDIR/.."
echo -e "Getting latest jquery.i18n from $UPSTREAM\n";
DEST="$BASEDIR/lib/jquery.i18n"
CLONEDIR="$BASEDIR/vendor/jquery.i18n"
if [ -d $CLONEDIR ]; then
git pull;
UPSTREAM="https://github.com/wikimedia/jquery.i18n.git"
echo "Getting latest jquery.i18n from $UPSTREAM"
if [ -d "$CLONEDIR" ]; then
pushd "$CLONEDIR"
git pull
popd
else
git clone $UPSTREAM $CLONEDIR;
git clone "$UPSTREAM" "$CLONEDIR"
fi
cd "$HERE";
cp -rf $CLONEDIR/src/* $DEST
rm -rf "$DEST"/*
cp -R "$CLONEDIR"/src/* "$DEST"

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

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

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

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