I've settled on 'peek' for recording my app demo to GIF. The result will be posted!
Thanks for all suggestions, I tried a few, but peek wins on doing the job I wanted and no messing.
byzanz plus several user created scripts also seems good, but messing!
There's a good list of options here: https://askubuntu.com/questions/107726/how-to-create-animated-gif-images-of-a-screencast
Everyone is welcome as long as you follow our code of conduct! Thank you. Mastodon.cloud is maintained by Sujitech, LLC.