Make /etc/make.tinderbox.private.conf the place to set BTI and PROXY settings.

Make bti in bashrc use the TINDERBOX_PROXY variable rather than BTI_PROXY,
and also set curl (with proxy) for fetch and resume.

Note: don't set the proxy in the environment or the isolation will fail;
unfortunately wget can be told to ignore proxies but _not_ to use them, on
the command line, which is why we went with curl.

1 files changed, 1 insertions, 1 deletions

diff --git a/bashrc b/bashrc
index 6bd6a38..94096b7 100755
--- a/bashrc
+++ b/bashrc
@@ -17,7 +17,7 @@
 # SOFTWARE.
 
 dent_me() {
-    echo "$@" | bti ${BTI_PROXY:+--proxy "${BTI_PROXY}"} --host "${BTI_HOST}" --account "${BTI_ACCOUNT}" --password "${BTI_PASSWORD}" >/dev/null
+    echo "$@" | bti ${TINDERBOX_PROXY:+--proxy "${TINDERBOX_PROXY}"} --host "${BTI_HOST}" --account "${BTI_ACCOUNT}" --password "${BTI_PASSWORD}" >/dev/null
 }
 
 metadata_print() {