#!/bin/bash

if [ "x$WGETRC" != "x" ] ; then

    wgetrc_dir=${WGETRC%/*}

    which_wget=`which wget`
    wget_dir=${which_wget%/*}

    if [ $wgetrc_dir != $wget_dir ] ; then
	echo "+--------" >&2
	echo "+ Located wget is not the Greenstone one" >&2
	echo "+ Temporarily setting:"                   >&2
	echo "+     WGETRC=$WGETRC"                     >&2
	echo "+ to be empty"                            >&2
	echo "+--------" >&2
	export WGETRC=
    fi
fi

echo ""
echo "GS3 Installations: "

wget --no-check-certificate -q -O - https://svn.greenstone.org/gs3-installations/ | \
    grep '<li>' | \
    sed 's/^.*href="\(.*\)\/".*$/  \1/' | \
    grep -v '\.\.' | \
    grep -v 'README\.txt'


#     tr '\n' ' '    

echo ""