Quero instalar a versão php 7 no Ubuntu 14.04.
Eu executo o comando abaixo (conta root).
# LC_ALL=C.UTF-8 add-apt-repository ppa:ondrej/php
e o resultado é.
Cannot add PPA: 'ppa:ondrej/php'.
Please check that the PPA name or format is correct.
Na verdade, estou no ambiente de firewall. então há configuração de variável http_proxy.
# env | grep proxy
http_proxy=1.2.3.4:8080
https_proxy=1.2.3.4:8080
1.2.3.4 é um exemplo, estará correto.
E não sei por que e descobri por que, comandou strace.
# LC_ALL=C.UTF-8 strace -o strace.out add-apt-repository ppa:ondrej/php
Posso ver muitos erros de arquivo de localidade como abaixo.
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)
Finalmente parte da saída.
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)
Existe algum problema relacionado à localidade? Ou acho que há problema de rede (porque estou no escritório e meu escritório pode proibir outro IP).