26 lines
714 B
JSON
26 lines
714 B
JSON
{
|
|
"id": "937087b6-f668-4ba6-9110-60682ee33441",
|
|
"snapshot": "vlc",
|
|
"instruction": "I am currently using a ubuntu system. Could you help me set the default video player as VLC?",
|
|
"source": "https://superuser.com/questions/187440/set-default-ubuntu-video-player-as-vlc",
|
|
"config": [],
|
|
"trajectory": "trajectories/",
|
|
"related_apps": [
|
|
"vlc",
|
|
"os"
|
|
],
|
|
"evaluator": {
|
|
"func": "check_include_exclude",
|
|
"result": {
|
|
"type": "default_video_player"
|
|
},
|
|
"expected": {
|
|
"type": "rule",
|
|
"rules": {
|
|
"include": [
|
|
"vlc.desktop"
|
|
]
|
|
}
|
|
}
|
|
}
|
|
} |