για να προσθέσεις ενα PPA πίσω από proxy δεν αρκεί να κανείς τις ρυθμίσεις στο apt.conf (Acquire::http::Proxy “http://xxx.xxx.xxx.xxx:3128”;)
οπότε η λύση είναι η παρακάτω (αν θες μπορείς να βάλεις μόνιμα τις ρυθμίσεις για τον proxy στο /etc/enviroment)
sudo https_proxy=http://xxx.xxx.xxx.xxx:3128 http_proxy=http://xxx.xxx.xxx.xxx:3128 add-apt-repository ppa:guilhem-fr/swftools