summaryrefslogtreecommitdiff
path: root/bashrc
diff options
context:
space:
mode:
authorDiego Elio Pettenò <flameeyes@gmail.com>2010-09-03 03:41:02 +0200
committerDiego Elio Pettenò <flameeyes@gmail.com>2010-09-03 03:41:02 +0200
commit35eb7ec0780396b6ca95e117aa75978ce1ee2679 (patch)
tree0e97f23eb9eaf7b9558f0988508f37925b631c65 /bashrc
parentAdd a proper license to all the scripts running the Tinderbox. (diff)
downloadflameeyes-tinderbox-35eb7ec0780396b6ca95e117aa75978ce1ee2679.tar.gz
flameeyes-tinderbox-35eb7ec0780396b6ca95e117aa75978ce1ee2679.tar.bz2
flameeyes-tinderbox-35eb7ec0780396b6ca95e117aa75978ce1ee2679.zip
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.
Diffstat (limited to 'bashrc')
-rwxr-xr-xbashrc2
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() {