adding GIF details to existing GIFs

gistfile1.txt

files=($(find source -name \*.toml))
for file in "${files[@]}"; do
    gif=$(echo $file | sed -e 's/toml$/gif/')

    if ! grep -q info.filesize $file; then
        echo "++ $file"
        sed -i '' -e 's/^"""/"""\n\ninfo.colours = ""\ninfo.filesize = ""\ninfo.frames = ""\ninfo.size = ""\ninfo.time = ""/' $file
        ./script/gif_info $gif $file
    fi
done