14.04 php7 install - Невозможно добавить PPA: 'ppa: ondrej / php'

Я хочу установить версию php 7 в Ubuntu 14.04.

Я запускаю команду ниже (учетная запись root).

# LC_ALL=C.UTF-8 add-apt-repository ppa:ondrej/php

и результат.

Cannot add PPA: 'ppa:ondrej/php'.
Please check that the PPA name or format is correct.

На самом деле я нахожусь в брандмауэре env. так что есть переменная http_proxy.

# env | grep proxy
http_proxy=1.2.3.4:8080
https_proxy=1.2.3.4:8080

1.2.3.4 является примером, это будет правильно.

И я не знаю почему и выясняю почему, выполнил приказ.

# LC_ALL=C.UTF-8 strace -o strace.out add-apt-repository ppa:ondrej/php

Я вижу много ошибок файла локали, как показано ниже.

stat("/usr/share/locale/en_US.UTF-8/LC_MESSAGES/messages.mo", 0x7ffdab3ee570) = -1 ENOENT (No such file or directory)
stat("/usr/share/locale-langpack/en_US.UTF-8/LC_MESSAGES/messages.mo", 0x7ffdab3ee570) = -1 ENOENT (No such file or directory)

В последней части вывода.

stat("/usr/share/locale/en/LC_MESSAGES/software-properties.mo", 0x7ffe925eb460) = -1 ENOENT (No such file or directory)
stat("/usr/share/locale-langpack/en/LC_MESSAGES/software-properties.mo", 0x7ffe925eb460) = -1 ENOENT (No such file or directory)
write(1, "Cannot add PPA: 'ppa:ondrej/php'"..., 86) = 86
write(1, "\n", 1)

Есть ли проблема, связанная с локалью? Или я предполагаю, что проблема в сети (потому что я нахожусь в офисе, и мой офис может запретить другие IP).