Name Last modified Size Description
Parent Directory -
main/ 2020-03-09 12:48 -
Para emplear este repositorio son necesarios los siguientes pasos:
$ wget --quiet -O- https://debian.astillas.net/astillas.key | sudo apt-key add -
deb https://debian.astillas.net debian main deb-src https://debian.astillas.net debian main
Otra opción es descargar y ejecutar el siguiente script con permisos de administración empleando la siguiente orden en el terminal:
$ wget -O- https://debian.astillas.net/setup.sh | sudo bash -
Cuidado: debe tener bastante confianza en el dueño del repositorio (es decir, en mí) para descargar y ejecutar lo anterior tal y como le indico.
Y una tercera es importar la clave pública cuyo identificador es 774B65041866CEA4 de alguno de los servidores de claves:
de la siguiente forma:
$ sudo apt-key adv --keyserver keys.openpgp.org --recv-keys 774B65041866CEA4
El certificado digital que emplea el servidor está firmado por Let's Encrypt, por lo que es raro que necesite ningún ajuste más, pero si lo necesita puede descargar e instalar los certificados raíz desde la página del proyecto.
Puede contactar con el autor en la siguiente dirección de correo electrónico: root@astillas.net.