{
  "id": "chrome_win_task07",
  "snapshot": "snapshot",
  "instruction": "I want to update my Chrome profile name to Thomas. Could you help me change the username in Chrome profiles?",
  "source": "OSWorld-adapted",
  "config": [
    {
      "type": "launch",
      "parameters": {
        "command": [
          "C:\\Program Files\\Google\\Chrome\\Application\\chrome.exe"
        ],
        "shell": false
      }
    },
    {
      "type": "sleep",
      "parameters": {
        "seconds": 5
      }
    }
  ],
  "trajectory": "trajectories/",
  "related_apps": [
    "chrome"
  ],
  "evaluator": {
    "postconfig": [
      {
        "type": "sleep",
        "parameters": {
          "seconds": 3
        }
      }
    ],
    "func": "vllm_eval"
  },
  "proxy": false,
  "fixed_ip": true,
  "possibility_of_env_change": "low",
  "metadata": {
    "input_files": [],
    "steps": "1. Chrome已自动打开。\n2. 点击右上角的个人头像图标（Profile图标）。\n3. 在弹出菜单中点击铅笔编辑图标或'Manage profiles'。\n4. 在名称输入框中将当前名称修改为'Thomas'。\n5. 点击完成/保存，确认界面上显示用户名为'Thomas'。"
  }
}