---
title: "Linux is not Unix"
---

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
as an hobby.

## Scripts

In PHC we maintain a [repository](https://git.phc.dm.unipi.it/phc/dm-scripts) containing a few scripts for the average math department enjoyer:

- [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).

## Articles

I sometimes write tech articles for [MoreThanTech](https://morethantech.it/):

- [Arch Linux installation guide](https://morethantech.it/pubblicazioni/416_arch-linux-installazione-e-primi-passi-con-installer)
- [Ungoogled Chromium: privacy-centric browser](https://morethantech.it/pubblicazioni/439_ungoogled-chromium-un-browser-veloce-privato)