If you are using bash

To set your proxy if you are using bash (or sh and friends)

export http_proxy=http://proxy.tchpc.tcd.ie:8080
export https_proxy=http://proxy.tchpc.tcd.ie:8080
export ftp_proxy=http://proxy.tchpc.tcd.ie:8080
export all_proxy=http://proxy.tchpc.tcd.ie:8080
export no_proxy=localhost,127.0.0.1,tcd.ie

If you are using tcsh

To set your proxy if you are using tcsh (or csh and friends)

setenv http_proxy http://proxy.tchpc.tcd.ie:8080
setenv https_proxy http://proxy.tchpc.tcd.ie:8080
setenv ftp_proxy http://proxy.tchpc.tcd.ie:8080
setenv all_proxy http://proxy.tchpc.tcd.ie:8080
setenv no_proxy localhost,127.0.0.1,tcd.ie