Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
player: garbage on the screen after 'tizonia' exits on error #418
Some errors still produce a garbled console after tizonia exits:
After this, the terminal needs a reset.