#!/bin/sh -
#
#  $Id: worksite,v 1.1 2002/07/08 14:55:45 dgregor Exp $
#

# $HOME/.worksite.cfg should contain a single line that looks like this:
#	sites="site1 site2 site3"
# 
. $HOME/.worksite.cfg

if [ $# -ne 1 ]; then
	echo "`basename $0`: usage:" >&2
	echo "	`basename $0` <worksite>" >&2
	exit 1
fi

site=$1; shift

egrepsites="`echo $sites | sed -e 's/ /|/g' -e 's/^/^(/' -e 's/$/)$/'`"

if echo "$site" | egrep "$egrepsites" > /dev/null
then
	# we had a match, so we are fine
	true
else
	echo "`basename $0`: invalid site name \"$site\"" >&2
	echo "valid sites: $sites" >&2
	exit 1
fi

if [ -d $HOME/.pacs ]; then
	rm -f $HOME/.proxy.pac
	ln -s .pacs/${site}.pac $HOME/.proxy.pac
fi

sed -e '/^# -- SSHSITES START:/,/^# -- SSHSITES END/s/^/#/' \
	-e '/^## -- SSHSITES START:.*[^!]'"$site"'/,/^## -- SSHSITES END/s/^#//' \
	-e '/^## -- SSHSITES START:.*!/,/^## -- SSHSITES END/s/^#//' \
	-e '/^# -- SSHSITES START:.*!'"$site"'/,/^# -- SSHSITES END/s/^/#/' \
	< $HOME/.ssh/config > $HOME/.ssh/config.new && \
	mv -f $HOME/.ssh/config.new $HOME/.ssh/config