#!/bin/bash

if [ $# != 1 ] ; then
    echo "Usage: $0 ext-name" >&2
    exit 1
fi

ext=$1

# selfcontained-xxx now live in cli-extensions, so whether you'd ever do them here I don't know, but leaving it in just in case

case "$ext" in
    selfcontained-*)
        svn co https://svn.greenstone.org/main/trunk/cli-extensions/$ext/source "$ext"
        ;;
    *)
        svn co https://svn.greenstone.org/main/trunk/gs3-extensions/$ext/source "$ext"
        ;;
esac