From 35eb7ec0780396b6ca95e117aa75978ce1ee2679 Mon Sep 17 00:00:00 2001
From: Diego Elio Pettenò <flameeyes@gmail.com>
Date: Fri, 3 Sep 2010 03:41:02 +0200
Subject: 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.
---
 bashrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bashrc')

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() {
-- 
cgit v1.2.3-65-gdbad