{
    "id": "7688b85f-87a4-4e4a-b2f8-f3d6c3f29b82",
    "snapshot": "os",
    "instruction": "Can you move the file 'todo.txt' on the Desktop to the directory 'done/' on the Desktop?",
    "source": "https://ubuntu.com/tutorials/command-line-for-beginners#5-moving-and-manipulating-files",
    "config": [
      {
        "type": "execute",
        "parameters": {
          "command": "echo 'password' | sudo -S touch ~/Desktop/todo.txt && sudo mkdir ~/Desktop/done",
          "shell": true
        }
      },
      {
        "type": "execute",
        "parameters": {
          "command": "echo 'password' | sudo -S chmod 777 ~/Desktop/todo.txt && sudo chmod 777 ~/Desktop/done",
          "shell": true
        }
      },
      {
      "type": "execute",
      "parameters": {
        "command": [
          "python",
          "-c",
          "import pyautogui; import time; pyautogui.click(960, 540); time.sleep(0.5);"
        ]
      }
    }
    ],
    "trajectory": "trajectories/",
    "related_apps": [
      "os"
    ],
    "evaluator": {
      "func": "exact_match",
      "result": {
        "type": "vm_command_line",
        "command": "if [ -f ~/Desktop/done/todo.txt ]; then echo 'File exists.'; else echo 'File does not exist.'; fi",
        "shell": true
      },
      "expected": {
        "type": "rule",
        "rules":{
          "expected": "File exists.\n"
        }
      }
    }
  }
