Que tal mis amigos, le vengo dejando algo de mi experiencia que he tenido con los diferentes grabadores de pantalla en GNU/Linux.
Hasta la fecha he probado con 5 grabadores pantalla que son lo siguientes
VokoScreen
RecordMyDesktop
OpenBroadCaster OBS
SimpleScreenRecorder
Kazam
He probado otros pero no lo recuerdo por ahora.
Anteriormente yo recomendaba VokoScreen en su versión mas Actual que esta por la 2.5.x, ya que en las anteriores el audio se desfasaba y se escuchaba muy horrible pero en sus versiones mas actuales se corregía, actualmente no lo uso ya que lo instale y por alguna razón me borro el Pulse-Audio y para volver instalar el Pulse Audio me fue necesario des instalar el VokoScreen, lo que me gusta de este software es que te permite escoger los audios del monitor del sistema y los del micrófono.
RecordMyDesktop, lo probé aunque pero la verdad no me llamo la atencion, al grabar no encontraba como detener la grabación y tuve que buscar las teclas de acceso en internet para detener la grabación, todo esto mientras grababa.
OpenBroadCaster, Este es muy bueno tiene todo lo que necesito, lamentablemente me pide mucho recurso y me alentaba la maquina, por mas que intente buscar la configuracion mas optima se trababa, es muy bueno pero se requiere mas hardware.
SimpleScreenRecorder, este para mi en este año 2018 es el mejor, graba muy claro y deja un archivo muy pequeño, este es que recomiendo por ahora
Kazam, lo probe solo una vez en Chakra Linux, me lo recomendaron pero no le metí tiempo a la configuración, en realidad casi no lo use.
En conclusion, para grabar desde Linux Mint 19 con el GNOME 3 Instalado es mas recomendable el SimpleScreenRecorder
Saludos y espero que les sirva
CANAL DE TELEGRAM
https://telegram.me/CesarSystems
TWITTER https://twitter.com/Cesar101290