{
  "id": "d52d6308-ec58-42b7-a2c9-de80e4837b2b",
  "snapshot": "gimp",
  "instruction": "Could you help me remove the dock on the left side of the screen in the GIMP?",
  "source": "https://superuser.com/questions/1447106/how-to-get-rid-of-the-gimp-tool-options-box",
  "config": [
    {
      "type": "launch",
      "parameters": {
        "command": [
          "gimp"
        ]
      }
    }
  ],
  "trajectory": "trajectories/",
  "related_apps": [
    "gimp"
  ],
  "evaluator": {
    "postconfig": [
      {
        "type": "execute",
        "parameters": {
          "command": [
            "python3",
            "-c",
            "import pyautogui; pyautogui.hotkey([\"ctrl\", \"q\"]);"
          ]
        }
      },
      {
        "type": "sleep",
        "parameters": {
          "seconds": 0.5
        }
      }
    ],
    "func": "check_config_status",
    "expected": {
      "type": "rule",
      "rules": {
        "type:": "key-value",
        "key": "hide-docks",
        "value": "yes"
      }
    },
    "result": {
      "type": "gimp_config_file",
      "file_name": "sessionrc",
      "dest": "sessionrc"
    }
  },
  "proxy": false,
  "fixed_ip": false,
  "possibility_of_env_change": "low"
}