Você precisa primeiro exportar a variável de ambiente. Abra um terminal e execute:
export http_proxy="http://username:password@proxy:port/"
export https_proxy="https://username:password@proxy:port/"
Agora adicione o PPA:
sudo -E add-apt-repository ppa:git-core/ppa
Você receberá um aviso:
➜ ~ sudo -E apt-add-repository ppa:git-core/ppa The most current stable version of Git for Ubuntu. For release candidates, go to https://launchpad.net/~git-core/+archive/candidate . More info: https://launchpad.net/~git-core/+archive/ubuntu/ppa Press [ENTER] to continue or ctrl-c to cancel adding it
Pressione Enter e você poderá instalar a partir de um PPA.