Fixing permissions for Docker

The post “Handling Permissions with Docker Volumes” explains clearly the problem: when you run a docker container bound to a directory, all files are accessed/written with the UID of the docker user. For instance, let us bind our ~/temp directory to the /data directory inside the container, and create the file /data/test inside the container […]

LaTeX: Introduzione e Risorse

Guide introduttive Il principale riferimento italiano per tutto ciò che riguarda LaTeX è il Gruppo Italiano di Utilizzatori TeX dove sono disponibili numerose guide. Nello stesso sito è anche disponibile uno stile per scrivere una tesi di laurea. Per quanto riguarda la documentazione in inglese, il documento decisamente più utilizzato è The not so Short […]

Introduzione a LaTeX

LaTeX è un sistema di composizione tipografica ideato nel 1985 per automatizzare tutte le operazioni più comuni che coinvolgono la realizzazione di un documento. LaTeX permette di ottenere eccellenti risultati tipografici, in particolare quando si tratta di testi di carattere scientifico e matematico in particolare. Esistono implementazioni gratuite e libere per tutti i sistemi operativi. Verrà […]