Merge pull request #751 from TotallyNotElite/terminalimprovements

Various (linux) terminal improvements

Ylian Saint-Hilaire committed Dec 22, 2019 at 12:40 UTC bf7dfce58fbc9bfb6b2d228502505ba28d5e54a8

No changes.