{
    "id": "2fe4b718-3bd7-46ec-bdce-b184f5653624",
    "snapshot": "vlc",
    "instruction": "Could you help me create an Animated GIF src_clip.gif from a video file using VLC and GIMP from the source of video \"src.mp4\" in the desktop, 5-second clip beginning at 00:03?",
    "source": "https://www.maketecheasier.com/create-gif-from-video-gimp/",
    "config": [
        {
            "type": "launch",
            "parameters": {
                "command": [
                    "gimp"
                ]
            }
        },
        {
            "type": "download",
            "parameters": {
                "files": [
                    {
                        "url": "https://drive.usercontent.google.com/download?id=1krQ_vN3QiboMttWrjDY-YROCWZq6cBtb&export=download",
                        "path": "/home/user/Desktop/src.mp4"
                    }
                ]
            }
        },
        {
            "type": "launch",
            "parameters": {
                "command": [
                    "vlc"
                ]
            }
        }
    ],
    "trajectory": "trajectories/",
    "related_apps": [
        "vlc",
        "gimp"
    ],
    "evaluator": {
        "func": "compare_images",
        "result": {
            "type": "vm_file",
            "path": "/home/user/Desktop/src_clip.gif",
            "dest": "src_clip.gif"
        },
        "expected": {
            "type": "cloud_file",
            "path": "https://drive.usercontent.google.com/download?id=1kDq8pakgdZvKh8CFpR5368stf14gwFCp&export=download",
            "dest": "src_clip_gold.gif"
        }
    }
}