Quiero instalar la versión php 7 en Ubuntu 14.04.
Ejecuto el siguiente comando (cuenta raíz).
# LC_ALL=C.UTF-8 add-apt-repository ppa:ondrej/php
y el resultado es.
Cannot add PPA: 'ppa:ondrej/php'.
Please check that the PPA name or format is correct.
En realidad estoy en un entorno de firewall. entonces hay una configuración de variable http_proxy.
# env | grep proxy
http_proxy=1.2.3.4:8080
https_proxy=1.2.3.4:8080
1.2.3.4 es un ejemplo, será correcto.
Y no sé por qué y averigüe por qué, strace ordenó.
# LC_ALL=C.UTF-8 strace -o strace.out add-apt-repository ppa:ondrej/php
Puedo ver muchos errores de archivos locales como los que se muestran a continuación.
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)
Por fin parte de la salida.
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)
¿Hay algún problema relacionado con la configuración regional? O supongo que es un problema de red (porque estoy en la oficina y mi oficina puede prohibir otras IP).