{
  "id": "ae039631-2b12-4637-84f6-c67d51511be3",
  "snapshot": "os",
  "instruction": "Could you please help me check out my current default browser?",
  "source": "https://ubuntu.com/tutorials/command-line-for-beginners#5-moving-and-manipulating-files",
  "config": [
    {
      "type": "execute",
      "parameters": {
        "command": "xdg-settings set default-web-browser firefox.desktop"
      }
    },
    {
      "type": "execute",
      "parameters": {
        "command": [
          "python",
          "-c",
          "import pyautogui; import time; pyautogui.click(960, 540); time.sleep(0.5);"
        ]
      }
    }
  ],
  "trajectory": "trajectories/",
  "related_apps": [
    "os"
  ],
  "evaluator": {
    "func": "exact_match",
    "result": {
      "type": "vm_command_line",
      "command": "xdg-settings get default-web-browser"
    },
    "expected": {
      "type": "rule",
      "rules":{
        "expected": "firefox.desktop"
      }
    }
  }
}
