Necesitamos hacer algunos videos sobre cómo trabajar con documentos LaTex. Tenemos los archivos mecanografiados y de sincronización y ahora necesitamos convertirlos en videos para mostrarlos en las respuestas. Básicamente, la forma de hacerlo es hacer pequeñas animaciones Gif. Básicamente, si pudiera grabar un área en la ventana X en GIF, entonces sería posible hacer esos videos a través de X, pero es un poco complicado y lento. Entonces, ¿cómo puedo convertir el procesamiento de scripts en animaciones Gif?
$ script -t 2> timing # pastie.org etc to show your working
...WORKING...
$ scriptreplay timing #how to make them into videos on this site?
Vídeos de ejemplo
La fuente esaquípero creado con la herramienta pay-ware W.
Quizás relacionado
Convertir un archivo mecanografiado en una lista de comandos (historial)
Grabación de pantalla en Windowsaquí, ¿qué pasa en *ix?
Respuesta1
Respuesta2
Puede reproducir su captura mecanografiada y codificar la región de pantalla correspondiente usando algo como:
ffmpeg -y -f x11grab -s 100x100 -i :0.0+100,100 -pix_fmt rgb24 -r 5 Desktop/capture.gif
-y
sobrescribe la salida (más útil al realizar pruebas)
-f x11grab
fuerza el formato a x11grab
-s 100x100
El vídeo capturado es 100x100.
-i :0.0+100,100
La esquina superior izquierda está en el servidor 0, pantalla 0 en el píxel 100,100.
-pix_fmt rgb24
fuerza 24 bpp en la entrada (AFAIK, necesario para el codificador GIF)
-r 5
5 fps
Y Desktop/capture.gif
es mi archivo capturado.
Sólo una nota: a veces el ffmpeg que proviene de los repositorios de la distribución no tiene todas las comodidades que puedas desear. Si ese es el caso, necesitarás compilarlo tú mismo (o buscar un repositorio que contenga un binario más completo). En mi ejemplo utilicé un ffmpeg estándar de los repositorios de Ubuntu.
Respuesta3
Respuesta4
Una alternativa para shelr.tv (que fue una gran opción y puede terminar siéndolo nuevamente) estérmino de espectáculoque puedes hospedar tú mismo o usar tal como está.
Convierta a video como mejor le parezca, aunque esta no es una respuesta directa a video.