{
  "id": "215dfd39-f493-4bc3-a027-8a97d72c61bf",
  "snapshot": "chrome",
  "instruction": "Can you disable the cone icon in the splash screen? I am tired of its skeuomorphic design.",
  "source": "https://superuser.com/questions/1224784/how-to-change-vlcs-splash-screen",
  "config": [
    {
      "type": "launch",
      "parameters": {
        "command": "VLC_VERBOSE=-1 vlc"
      }
    },
    {
      "type": "execute",
      "parameters": {
        "command": [
          "python",
          "-c",
          "import pyautogui; import time; pyautogui.click(960, 540); time.sleep(0.5);"
        ]
      }
    }
  ],
  "trajectory": "trajectories/",
  "related_apps": [
    "vlc"
  ],
  "evaluator": {
    "postconfig": [
      {
        "type": "launch",
        "parameters": {
          "command": [
            "pkill",
            "vlc"
          ]
        }
      },
      {
        "type": "launch",
        "parameters": {
          "command": "vlc"
        }
      }
    ],
    "func": "check_qt_bgcone",
    "expected": {
      "type": "rule",
      "rules": {
        "expected_qt_bgcone": 0
      }
    },
    "result": {
      "type": "vlc_config",
      "dest": "vlcrc"
    }
  }
}