script to clone MediaWiki extensions from Gerrit easily

clonemwext.sh

#!/bin/bash
#
# Lame script to easily clone a MediaWiki extension from Gerrit to current dir
#
# License: GPLv2
# Author : Antoine "hashar" Musso

REMOTE_NAME="gerrit"
REMOTE_PATTERN="ssh://hashar@gerrit.wikimedia.org:29418/mediawiki/extensions/\$1.git"

if [ $# -ne 1 ]
then
	echo "Usage: `basename $0` <ext name>"
	exit 1;
fi

REMOTE_URL=${REMOTE_PATTERN/\$1/$1}

echo "Cloning as $REMOTE_NAME to $1"
echo "Using $REMOTE_URL"
git clone --origin $REMOTE_NAME $REMOTE_URL $1