Gracias por el resumen... Mi favorito de momento, desde que estoy en linux el cual he podido usar en todas partes es SimpleScreenRecorder. Salvo en debian que tuve que compilarlo para usarlo en su momento... En todo caso funciona de maravillas casi en cualquier distro y antes de que los editores de vídeo tuviesen casi soporte para el 4K este capaturador lo hacía sin problemas con salida vídeo, con lo cual solo tocaba subirlo donde correspondiese. En fin, saludos...