I am an avid user of Linux (specifically Arch Linux), and you can find my _dotfiles_ detailing the programs I use [here](https://github.com/BachoSeven/dotfiles).
If you are a student from Pisa, you can find me hanging out with the servers in PHC, aula 106 of the math department, were we play with various Linux distributions and fix software problems
- [printa4](https://git.phc.dm.unipi.it/phc/dm-scripts/raw/branch/main/printa4) lets you print remotely from aula 4 (or any other printer) from your own computer, by opening Okular remotely in a graphical session.
- [impagina](https://git.phc.dm.unipi.it/phc/dm-scripts/raw/branch/main/impagina) changes the layout of a PDF in order to print it as a booklet.
- [gobbino](https://git.phc.dm.unipi.it/phc/dm-scripts/raw/branch/main/gobbino) is a magical script for downloading any video or pdf from all of Massimo Gobbino's courses.
- [pdfcompress](https://git.phc.dm.unipi.it/phc/dm-scripts/raw/branch/main/pdfcompress) compresses a PDF by around 1000% for vectorized documents (quite useful for iPad notes).
