42 lines
894 B
JSON
42 lines
894 B
JSON
{
|
|
"id": "982d12a5-beab-424f-8d38-d2a48429e511",
|
|
"snapshot": "vscode",
|
|
"instruction": "Could you help me change the color theme to Dark?",
|
|
"source": "https://www.youtube.com/watch?v=ORrELERGIHs",
|
|
"config": [
|
|
{
|
|
"type": "launch",
|
|
"parameters": {
|
|
"command": [
|
|
"code"
|
|
]
|
|
}
|
|
},
|
|
{
|
|
"type": "activate_window",
|
|
"parameters": {
|
|
"window_name": "Visual Studio Code"
|
|
}
|
|
}
|
|
],
|
|
"trajectory": "trajectories/982d12a5-beab-424f-8d38-d2a48429e511",
|
|
"related_apps": [
|
|
"vscode"
|
|
],
|
|
"evaluator": {
|
|
"func": "compare_config",
|
|
"expected": {
|
|
"type": "rule",
|
|
"rules": {
|
|
"expect": "2"
|
|
}
|
|
},
|
|
"result": {
|
|
"type": "vscode_config",
|
|
"vscode_extension_command": "GetColorTheme",
|
|
"path": "/home/user/GetColorTheme.txt",
|
|
"dest": "GetColorTheme.txt"
|
|
}
|
|
}
|
|
}
|