I cannot get Adept Manager to work with system-wide proxy (by adding a few lines to bashrc), while apt and other programs have no problem. Is something special to done? Thanks A. Mani -- A. Mani Member, Cal. Math. Soc