bobmurder · November 6, 2012 04:18
diff --git a/crawl_func b/crawl_func
 crawl () {
    case "$1" in
    "cao" )
        user="joshua"
        server="crawl.akrasiac.org"
        ;;
    "cdo" )
        user="crawl"
        server="crawl.develz.org"
        ;;
    "cszo" )
        user="crawl"
        server="crawl.s-z.org"
        ;;
    * )
        bad_server="1"
    esac

    if [[ $# != 1 || -n $bad_server ]] 
    then
        echo "Usage: crawl <server>"
        echo
        echo "server (cao|cdo|cszo)"
    else
        ssh -C -i $HOME/.ssh/cao_key "$user"@"$server"
    fi
 }
	crawl () {
	case "$1" in
	"cao" )
	user="joshua"
	server="crawl.akrasiac.org"
	;;
	"cdo" )
	user="crawl"
	server="crawl.develz.org"
	;;
	"cszo" )
	user="crawl"
	server="crawl.s-z.org"
	;;
	* )
	bad_server="1"
	esac

	if [[ $# != 1 \|\| -n $bad_server ]]
	then
	echo "Usage: crawl <server>"
	echo
	echo "server (cao\|cdo\|cszo)"
	else
	ssh -C -i $HOME/.ssh/cao_key "$user"@"$server"
	fi
	}