https://www.omgubuntu.co.uk/2012/04/how-to-record-and-share-terminal-screencasts-quickly