On Linux there is recordmydesktop and its gui frontend gtk-recordmydesktop. I don't have a lot of experience using it, but a few tests worked as expected.
The age of animated gif files is over. You want something that creates webm videos, like VLC or ActivePresenter.
Its not over until I can embed video in github markdown files. ;)