+ local token
+ token=$(echo "${1}" | grep -e "^dup" | ${SED} "s/^dup[0-9]\+-\([0-9]\+\).*/\1/g")
+ echo "${token}"
+}
+
+# Generate frame index name with leading zeroes:
+# Arg1: frame number
+function get_frame_name()
+{
+ local index
+
+ index=$(printf "${F_FMT}" ${1})
+ echo "${dest}/${dest}-${group}-f${index}.png"
+}
+
+# Arg1: start frame
+# Arg1: end frame
+function insert_empty_frames()
+{
+ local w
+ local start
+ local end
+ local wfname
+
+ start=${1}
+ end=${2}
+
+ for w in $(seq ${start} ${end}); do
+ log_dbg "New frame ID: ${w} (empty)"
+
+ wfname=$(get_frame_name ${w})
+
+ cp ${dest}/background.png ${wfname}
+ done
+}
+
+function record_max_nf()
+{
+ if [ ${nf} -gt ${max_nf} ]; then
+ max_nf="${nf}"
+ fi
+}
+
+function generate_video()
+{
+ local png_files
+
+ if which ffmpeg 1> /dev/null 2>&1; then
+ png_files=$(ls ${dest}/${dest}-${group}-f*.png 2> /dev/null || echo "")
+
+ if [ x"${png_files}" != x"" ]; then
+ group_list="${group_list} ${group}"
+
+ log_dbg "generate_video start"
+
+ local outfile
+
+ outfile=${dest}/${dest}-${group}.mp4
+
+ if [ ${dry_run} -eq 1 ]; then
+ touch ${outfile}
+ else
+ ffmpeg ${FFMPEG_OPTS} -r ${fps} -pattern_type glob -i "${dest}/${dest}-${group}-f*.png" ${outfile}
+ fi
+
+ log_dbg "generate_video: end"
+ fi
+ fi
+}
+
+function generate_global()
+{
+ local g
+ local w
+ local files
+ local group
+ local fname
+
+ log_dbg "generate_global: start"
+ log_dbg " list: ${group_list}"
+ log_dbg " max_nf: ${max_nf}"
+
+ for w in $(seq 1 ${max_nf}); do
+ files=""
+
+ for g in ${group_list}; do
+ group=${g}
+ fname=$(get_frame_name ${w})
+
+ if [ -f "${fname}" ]; then
+ files="${files} ${fname}"
+ fi
+ done
+
+ if [ "${files}" != "" ]; then
+ group="global"
+ fname=$(get_frame_name ${w})
+
+ if [ ${dry_run} -eq 1 ]; then
+ touch ${fname}
+ else
+ convert -colorspace sRGB -page +0+0 ${dest}/background-white.png \
+ ${files} -background none -layers merge \
+ PNG32:${fname}
+ fi
+ fi
+ done
+
+ group="global"
+ generate_video
+
+ log_dbg "generate_global: end"