{
    "id": "d52d6308-ec58-42b7-a2c9-de80e4837b2b",
    "snapshot": "gimp",
    "instruction": "Could you help me remove the dock on the left side of the screen?",
    "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"
        }
    }
}