1.7.1 Parameters

Parameter: gif-config-dir ¶

Default value:

"/root/.local/bin"

Parameter: gif-config-filename ¶

Default value:

"gif-record"

Parameter: gif-fps ¶

Default value:

20

Parameter: gif-out-dir ¶

Default value:

"/root"

Parameter: gif-pid-file ¶

Default value:

"/tmp/heks-gif-wf-recorder.pid"

Parameter: gif-tmp-vid-file ¶

Default value:

"/tmp/heks-gif-tmp-wf-recorder.mp4"

1.7.2 Procedures

Procedure: install-gif-config ¶

Undocumented procedure.

Procedure: make-gif-recorder-script ¶

Generates the Bash region GIF recording script as a string.