recordMyDesktop
(quelloffen, Version 0.3.8 unter Linux Mint 18) 
recordMyDesktop ist ein Programm, mit dem man die Bildschirmausgabe des Rechners in eine Videodatei exportieren kann, also um einen Screencast zu produzieren. Es kann über das Terminal installiert werden:
sudo apt-get install gtk-recordmydesktop
Installation per apturl 
Das Programm kann nach der Installation über ► Multimedia ► RecordMyDesktop gestartet werden.
Leider muss man damit rechnen, dass die Videodatei fehlerhaft erstellt wird. Eine bessere Alternative ist SimpleScreenRecorder.