chiark / gitweb /
dot/profile: Support (and export) `$https_proxy' variable.