{ "id": "d16c99dc-2a1e-46f2-b350-d97c86c85c15", "snapshot": "gimp", "instruction": "Could you assist me with resizing just one layer of an image? I need to adjust the height to 512 pixels while maintaining the original aspect ratio?", "source": "https://stackoverflow.com/questions/75185543/use-gimp-to-resize-image-in-one-layer-only", "config": [ { "type": "download", "parameters": { "files": [ { "url": "https://huggingface.co/datasets/xlangai/ubuntu_osworld_file_cache/resolve/main/gimp/d16c99dc-2a1e-46f2-b350-d97c86c85c15/dog_with_background.png", "path": "/home/user/Desktop/dog_with_background.png" }, { "url": "https://huggingface.co/datasets/xlangai/ubuntu_osworld_file_cache/resolve/main/gimp/d16c99dc-2a1e-46f2-b350-d97c86c85c15/dog_with_background_two_layers.xcf", "path": "/home/user/Desktop/dog_with_background_two_layers.xcf" } ] } }, { "type": "launch", "parameters": { "command": [ "gimp", "/home/user/Desktop/dog_with_background_two_layers.xcf" ] } } ], "trajectory": "trajectories/", "related_apps": [ "gimp" ], "evaluator": { "postconfig": [ { "type": "execute", "parameters": { "command": [ "python3", "-c", "import pyautogui; pyautogui.hotkey([\"shift\", \"ctrl\", \"e\"]);" ] } }, { "type": "sleep", "parameters": { "seconds": 0.5 } }, { "type": "execute", "parameters": { "command": [ "python3", "-c", "import pyautogui; pyautogui.write(\"resized\");pyautogui.press([\"enter\"]);" ] } }, { "type": "sleep", "parameters": { "seconds": 2 } }, { "type": "execute", "parameters": { "command": [ "python3", "-c", "import pyautogui; pyautogui.press([\"enter\"]);" ] } }, { "type": "sleep", "parameters": { "seconds": 5 } } ], "func": [ "check_image_size", "check_structure_sim_resized" ], "expected": [ { "type": "rule", "rules": { "height": 512 } }, { "type": "vm_file", "path": "/home/user/Desktop/dog_with_background.png", "dest": "dog_with_background.png" } ], "result": [ { "type": "vm_file", "path": "/home/user/Desktop/dog_with_background.png", "dest": "dog_with_background.png" }, { "type": "vm_file", "path": "/home/user/Desktop/resized.png", "dest": "resized.png" } ] } }