2023-01-16 00:08:12 +02:00
|
|
|
echo "exporting $url (r$rev) into $out"
|
2003-11-25 17:38:48 +00:00
|
|
|
|
2009-05-19 17:07:20 +00:00
|
|
|
if test -n "$http_proxy"; then
|
|
|
|
# Configure proxy
|
|
|
|
mkdir .subversion
|
|
|
|
proxy="${http_proxy#*://}"
|
|
|
|
|
|
|
|
echo '[global]' > .subversion/servers
|
|
|
|
echo "http-proxy-host = ${proxy%:*}" >> .subversion/servers
|
|
|
|
echo "http-proxy-port = ${proxy##*:}" >> .subversion/servers
|
|
|
|
|
|
|
|
export HOME="$PWD"
|
|
|
|
fi;
|
|
|
|
|
2017-06-04 13:41:28 +01:00
|
|
|
if test -z "$LC_ALL"; then
|
|
|
|
export LC_ALL="en_US.UTF-8"
|
|
|
|
fi;
|
|
|
|
|
2017-12-18 15:48:25 +00:00
|
|
|
svn export --trust-server-cert --non-interactive \
|
2017-03-13 03:02:33 +00:00
|
|
|
${ignoreExternals:+--ignore-externals} ${ignoreKeywords:+--ignore-keywords} \
|
2013-03-26 19:48:52 +01:00
|
|
|
-r "$rev" "$url" "$out"
|