Если я просто воспользуюсь тем, что предложили Влакс и Мохсен Носратиниа (export http_proxy=http://yourusername:yourpassword@host:port/
), это будет работать только для половины программ (некоторые установки будут работать, но не все) для моей компании.
Добавив еще одну строку, она будет работать для всех (возможно, большинства), по крайней мере, в моей ситуации.
export http_proxy=http://yourusername:yourpassword@host:port/
export https_proxy=$http_proxy