On Sunday, 17 February 2019 at 14:19:35 UTC, Jordi Sayol wrote: > To add this repository to your Linux Mint just run this two > lines from command line: > Jordi Thanks, Jordi. This is going straight into my notes. You've saved me a ton of time and effort.