Re: Set http_proxy on cardctl insert

[Philipp Haller <philipp.haller@gmx.de>]

Walter Hofmann wrote:
> You could try the following: Change the commands above to write the
> proxy to a file in the /etc directory. Then change the bash init file
> (eg.  ~/.bashrc or profile or whatever) to set the proxy variable from
> this file. This will only work for newly started shells.

Thanks for your advice. The following setup works:
in /etc/pcmcia/network.opts:
# Extra stuff to do after setting up the interface
start_fn () { echo "http://proxy1.rz.uni-karlsruhe.de:3128/"; >/etc/http_proxy ; return; }
# Extra stuff to do before shutting down the interface
stop_fn () { echo "" >/etc/http_proxy ; return; }

And then in /etc/profile:
http_proxy=`cat /etc/http_proxy`
...
export ... http_proxy

   Philipp