43 lines
1.1 KiB
JSON
43 lines
1.1 KiB
JSON
{
|
|
"id": "e0df059f-28a6-4169-924f-b9623e7184cc",
|
|
"snapshot": "os",
|
|
"instruction": "I have a directory named \"todo_list_Jan_1\". Can you help me change its name into \"todo_list_Jan_2\"?",
|
|
"source": "https://help.ubuntu.com/lts/ubuntu-help/files-rename.html.en",
|
|
"trajectory": "trajectories/",
|
|
"config": [
|
|
{
|
|
"type": "execute",
|
|
"parameters": {
|
|
"command": "echo 'password' | sudo -S mkdir ~/Desktop/todo_list_Jan_1",
|
|
"shell": true
|
|
}
|
|
},
|
|
{
|
|
"type": "execute",
|
|
"parameters": {
|
|
"command": [
|
|
"python",
|
|
"-c",
|
|
"import pyautogui; import time; pyautogui.click(960, 540); time.sleep(0.5);"
|
|
]
|
|
}
|
|
}
|
|
],
|
|
"related_apps": [
|
|
"os"
|
|
],
|
|
"evaluator": {
|
|
"func": "exact_match",
|
|
"result": {
|
|
"type": "vm_command_line",
|
|
"command": "[ -d ~/Desktop/todo_list_Jan_2 ] && echo 'Directory exists.' || echo 'Directory does not exist.'",
|
|
"shell": true
|
|
},
|
|
"expected": {
|
|
"type": "rule",
|
|
"rules":{
|
|
"expected": "Directory exists.\n"
|
|
}
|
|
}
|
|
}
|
|
} |