{ "id": "7688b85f-87a4-4e4a-b2f8-f3d6c3f29b82", "snapshot": "os", "instruction": "Can you move the file with the path '/test.txt' to the directory with the path '/dir1'?", "source": "https://ubuntu.com/tutorials/command-line-for-beginners#5-moving-and-manipulating-files", "config": [ { "type": "execute", "parameters": { "command": "touch /test.txt && mkdir /dir1" } } ], "trajectory": "trajectories/", "related_apps": [ "os" ], "evaluator": { "func": "exact_match", "result": { "type": "vm_command_line", "config": { "command": "if [ -f '/dir/test.txt' ]; then echo 'File exists.'; else echo 'File does not exist.'; fi" } }, "expected": { "type": "rule", "rules":{ "expected": "File exists." } } } }