Latest Python on PI | Luciano's tech see the web in desktop mode to better experience | 473 OS | 308 OS Pi 4B | 100 OS Pi5
Git, Curl, Uidmap, Docker Compose V2:
Docker:
Obtenemos la última version de Docker buildx:
Agregar usuario al grupo docker:
Reiniciar la Raspberry Pi:
Nos movemos al directorio:
Construimos la imagen a partir de una imagen base:
Modificar el Dockerfile para que use el port creado.
Construimos ahora usando la imagen creada:
Haciendo un docker pull usuario/sharelatex:tag, donde usuario será el tuyo y tag será el indicado por overleaf-toolkit que puede variar con el paso del tiempo, obviamente deberás rehacer la imagen o clonar la versión que use el tag que hayas definido:
Pero como debemos usar Overleaf toolkit, no haremos este paso, pero queda de forma didáctica para otras imágenes que armes que no requieran nada extra.
Editamos en Overleaf Toolkit el archivo de configuración.
Para uso Local:
Para uso local y compartir imagen en Docker Hub:
Declaramos nuestro usuario de Docker Hub:
Levantar el servidor:
Listo!
Si ves el login, anda aca y crea la cuenta:
Actualizar o instalar extras en el docker creado entrando en su Shell:
Ejemplo se agrega idioma español.
Reiniciar Overleaf Toolkit:
O
Iniciar sesión en Docker Hub:
2. Etiquetar la imagen:
Usamos la etiqueta requerida por overleaf-tooolkit indicada en el archivo version, para ello generaremos dos variables, una que indique nuestro usuario y otra que almacene el tag actual.
3. Subirla a Docker Hub:
Una vez realizado esto, podremos reutilizarla en una nueva instalación o en otra Raspberry Pi a traves de Overleaf-toolkit
Si reutilizas la imagen que subiste a Docker Hub los pasos se reducen a esto.
Cumplir la sección Requisitos [Curl, gawk, Docker, Docker buildx, usuario perteneciente al grupo docker, reiniciar la Raspberry pi].
Declarar el usuario de Docker Hub:
Editamos en Overleaf Toolkit el archivo de configuración:
Iniciamos Overleaf Toolkit para crear el archivo de configuración:
Levantar el servidor:
Listo!
Desinstala Docker, las imágenes, los volúmenes, las redes, la carpeta clonada, elimina al usuario del grupo docker, elimina al grupo docker, elimina el cron del booteo que inicia el server al bootear.
Instalación de Docker, reutilizar imagen de Docker Hub, obtener Overleaf-Toolkit, levantar servidor y agregar inicio automático a Cron.
Creamos el grupo docker y agregamos al usuario:
Dependencias del script:
Reiniciamos la Raspberry Pi y tras ello podremos correr el script indicando nuestro nombre de usuario de Docker Hub (Si usas mi imagen solo copy paste):
Listo!
Limpieza por si te falla algo y quieres reintentar:
Instalación de Docker, Portar Overleaf a Arm64, obtener Overleaf-Toolkit, levantar servidor y agregar inicio automático a Cron.
Creamos el grupo docker y agregamos al usuario:
Dependencias del script:
Reiniciamos la Raspberry Pi y tras ello podremos correr el script indicando nuestro nombre de usuario de Docker Hub (Si usas mi imagen solo copy paste):
Listo!
Instalación de Docker, Portar Overleaf a Arm64, obtener Overleaf-Toolkit, creación de la imagen y subida a Docker Hub (Requiere antes hacer docker login)
Creamos el grupo docker y agregamos al usuario:
Dependencias del script:
Tras haberse reiniciado la Raspberry Pi:
Nos logueamos en Docker Hub.
Ejecutamos el script indicando nuestro nombre de usuario.
Listo!
Julio 2025:
Agregué un workflow de GitHub Actions para que suba a Docker Hub nuevas versiones a medida que overleaf toolkit lo requiera, así los scripts ya no fallan si reutilizas la imagen de Docker de mi repositorio.