ログイン

saveanim.gs

Top / GrADS / script / saveanim.gs

Japanese / English

名前

saveanim - 現在表示可能な動画をアニメーションgifとして保存する。

概要

saveanim var-exp [fhead]
               [-type type]
               [-fps fps]
               [-density density]
               [-hh|-lh|-hl|-nh|-hn|-sh|-hs]

説明

引数なしで実行するとヘルプが表示される。要ImageMagick。

引数

var-exp
変数
fhead
ファイル名(拡張子の前まで)
type
出力ファイルの形式。"gifanim" (デフォルト) 又は "png"
fps
アニメーションの1秒当たりのフレーム数。デフォルトは5
-density
epsからpngへ変換する際の品質。"low" (150)、"normal" (300)、"high" (600)、"print" (1200)、又は数値で指定。デフォルトはlow。
-size
pngの最大可能サイズ。"small" (400x400)、"normal" (800x800)、"large" (1600x1600)、"huge" (3200x3200)、又は xsizexysize で指定。デフォルトはnormal。
-hh
"-size huge -density high" と同様。
-hl | -lh
"-size large -density high" と同様。
-hn | -nh
"-size normal -density high" と同様。
-hs | -sh
"-size small -density high" と同様。

使用例

(1) anim/u.gifという名前で保存

set t 1 100
saveanim u anim/u
save u

ソースコード