#!/bin/bash if [ -z "$1" ]; then echo "Usage: $0 " >&2 exit 2 fi HOST=$(echo "$1" | sed -e 's%^https*://\([^/]*\).*$%\1%') set -x curl -i -X OPTIONS \ -H "Host: $HOST" \ -H 'User-Agent: SVN/1.11.0' \ -H 'Content-Type: text/xml' \ -H 'DAV: http://subversion.tigris.org/xmlns/dav/svn/depth' \ -H 'DAV: http://subversion.tigris.org/xmlns/dav/svn/mergeinfo' \ -H 'DAV: http://subversion.tigris.org/xmlns/dav/svn/log-revprops' \ --data-raw '' \ "$1"