{
  "id": "982d12a5-beab-424f-8d38-d2a48429e511",
  "snapshot": "vscode",
  "instruction": "Please help me change the color theme of VS Code 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"
    }
  }
}