osx: define http_proxy and https_proxy as needed.

diff --git a/bba.org b/bba.org
index 4b6654da915985f441c0cbde2c9231a5c52b7b1f..6e6ec219451d2dcef006a5f876a18c0f4ff86d2b 100644 (file)
--- a/bba.org
+++ b/bba.org
@@ -102,6 +102,12 @@ from bash.
             (let ((path (shell-command-to-string ". ~/.bashrc >/dev/null; echo -n $SYSENV")))
               (setenv "SYSENV" path)
               )
+            (let ((path (shell-command-to-string ". ~/.bashrc >/dev/null; echo -n $http_proxy")))
+              (setenv "http_proxy" path)
+              )
+            (let ((path (shell-command-to-string ". ~/.bashrc >/dev/null; echo -n $https_proxy")))
+              (setenv "https_proxy" path)
+              )
             )
       )
 #+END_SRC