* Para o Debian 9.4 é possivel utilizar o Simple Screen Cast, e é possível baixar do repositório Debian.
# apt-get install simplescreenrecorder
* Para o Gnome é possivel utilizar a extenção Easy Screen Cast