Scripts Some useful scripts I use. Git Status for my repositories Web scrapping for the PCI Concurso Arxiv update Who is in my network?