Preguntas etiquetadas con ppa

4
¿Cómo agregar un repositorio desde shell en Debian?
En Ubuntu se puede agregar un repositorio mediante el siguiente comando: sudo add-apt-repository ppa:yannubuntu/boot-repair Como Ubuntu se basa en el código base de Debian, esperaba que lo mismo funcionara también en Debian, pero no es así. ¿Cuál es la razón para esto? ¿Hay algún otro comando de shell que pueda …
141 shell  debian  apt  repository  ppa 

3
¿Instalar GCC 7 en Ubuntu?
Estoy tratando de ejecutar una prueba con GCC 7. ¿Cómo instalar gcc-7 o clang 4.0? en Ubuntu.SE, podemos realizar lo siguiente para instalar GCC 7 en Ubuntu: add-apt-repository ppa:ubuntu-toolchain-r/test && apt-get update && apt-get install -y gcc-7 El comando falla en la instalación: # apt-get install -y gcc-7 ... E: …
11 ubuntu  apt  gcc  ppa 

6
la recepción del servidor de claves ha fallado (en cada servidor de claves disponible)
Recientemente instalé Ubuntu 17.04 y no puedo agregar ningún ppa. Traté de agregar claves manualmente usando diferentes servidores de claves, pero en cada intento obtengo un error recibido del servidor de claves: $ sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 0F164EEB Error recibido: Executing: /tmp/apt-key-gpghome.qm2WNA0lTK/gpg.1.sh --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 0F164EEB gpg: keyserver …
9 ubuntu  gpg  ppa 
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.