diff options
author | 2010-09-03 03:41:02 +0200 | |
---|---|---|
committer | 2010-09-03 03:41:02 +0200 | |
commit | 35eb7ec0780396b6ca95e117aa75978ce1ee2679 (patch) | |
tree | 0e97f23eb9eaf7b9558f0988508f37925b631c65 /bashrc | |
parent | Add a proper license to all the scripts running the Tinderbox. (diff) | |
download | flameeyes-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-x | bashrc | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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() { |