Собрать из jpg-файлов gif анимацию в Linux
$ convert *.jpg images.gif
$ convert *.jpg images.gif
$ export SIZE_X=640 $ export SIZE_Y=480 $ export OUTCARD=25 $ export FILE=»output.avi» $ mencoder «mf://*.jpg» \ -mf w=$SIZE_X:h=$SIZE_Y:fps=$OUTCADR:type=jpg \ -oac copy -ovc lavc -lavcopts vcodec=msmpeg4:vbitrate=10000 \ -ffourcc MP43 -o «$FILE»
$ enscript -Eruby —color -whtml —toc -pfoo.html *.rb
$ cat config_filename | grep -vE «^#|^$»
$ mplayer -fps 15 tv:// -vf screenshot,mirror -tv driver=v4l2:device=/dev/video0
$ mplayer -vo caca video.mpg