Files
sci-gui-agent-benchmark/evaluation_examples/examples/vlc/8f080098-ddb1-424c-b438-4e96e5e4786e.json
2024-01-09 09:30:11 +08:00

43 lines
1.1 KiB
JSON

{
"id": "8f080098-ddb1-424c-b438-4e96e5e4786e",
"snapshot": "base_setup",
"instruction": "Could you help me extract MP3 Audio to AUDIO_PATH from Video at VIDEO_PATH using VLC Media Player?",
"source": "https://medium.com/@jetscribe_ai/how-to-extract-mp3-audio-from-videos-using-vlc-media-player-beeef644ebfb",
"config": [
{
"type": "download",
"parameters": {
"files": [
{
"url": "https://drive.usercontent.google.com/download?id=19jBiz8sb0M7KHHATO9qeTPr17aWm4me-&export=download&authuser=0&confirm=t&uuid=7a2261f4-3905-433f-b53f-a52dd0845651&at=APZUnTU1nmXSa1ObrA5NHYt8t1-p:1704710908141",
"path": "Baby Justin Bieber.mp4"
}
]
}
},
{
"type": "launch",
"parameters": {
"command": "vlc"
}
}
],
"trajectory": "trajectories/",
"related_apps": [
"vlc"
],
"evaluator": {
"func": "is_vlc_recordings_folder",
"expected": {
"type": "rule",
"rules": {
"recording_file_path": "/home/user/Desktop"
}
},
"result": {
"type": "vlc_config",
"dest": "vlcrc"
}
}
}