GITHUB EN EL AULA

Un Curso OCW de la ULL


               

Usando Contenedores Remotos desde VSCode

En VSCode es posible clonar un contenedor remoto y empezar a trabajar en el mismo.

En este ejemplo usaremos el contenedor para \(\LaTeX\) descrito en:

Primero instalamos las extensiones Docker y Remote Containers. Después pulsamos F1 y escribimos Remote-containerseligiendo la opción Clone repository in Container Volume:

le indicamos la url del repositorio que aloja el contenedor, que en este ejemplo es https://github.com/hegerdes/VSCode-LaTeX-Container:

VSCode nos advierte que instalar y ejecutar código externo es una operación peligrosa:

Si todo va bien, después de un ratito tendremos el contenedor montado y estaremos editándo la jerarquía de ficheros:

Cuando abres una terminal observarás que este contenedor tiene una errata, pero que se arregla arrancando una bash.

Una vez arrancada, podemos compilar con pdflatex:

Para trabajar con \(\LaTeX\) es conveniente tener instaladas las extensiones LateX WorkShop y LaTeX Utilities

Haciendo click sobre el pdf generado podemos visualizarlo:

Tus Comentarios