Ubuntu install and tips

This project is maintained by nicolas-brousse

Define default editor

$ update-alternatives --config editor

Hosted on GitHub Pages using the Dinky theme