📄 anim.sh
字号:
#!/bin/bash# create gif from plt files# Paul Panserrieu# last modified: 02-12-2007 07:46:53 PM CETif [ -z "$1" ]then echo usage: $0 string echo "make a gif file named 'animation.gif' from all *string*.plt files in the current directory" echo "this script needs 'plotmtv' and 'convert' to be run..." echo "peutetre@cs.tu-berlin.de" exitelse n=0 IMAGES="" for file in *$1*.plt do plotmtv $file -color -noxplot -nodate -o $file.ps convert -scale 600x600 $file.ps $file.ps.png rm $file.ps IMAGES=`echo $IMAGES $file.ps.png` echo $IMAGES (( n += 1 )) echo " --> $n" done # '-delay' is 1/100 so 20 represents 5 images/s convert -delay 10 $IMAGES animation.gif rm -f $IMAGESfi
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -