feat: Add proxy configuration to all 369 evaluation examples - 55 with proxy, 314 without

evaluation_examples/examples/os/13584542-872b-42d8-b299-866967b5c3ef.json

@@ -48,9 +48,9 @@
         "include": [
           "43 132"
         ],
-        "exclude": [
-        ]
+        "exclude": []
       }
     }
-  }
+  },
+  "proxy": false
 }

evaluation_examples/examples/os/23393935-50c7-4a86-aeea-2b78fd089c5c.json

@@ -112,5 +112,6 @@
         ]
       }
     }
-  }
+  },
+  "proxy": false
 }

evaluation_examples/examples/os/28cc3b7e-b194-4bc9-8353-d04c0f4d56d2.json

@@ -28,9 +28,10 @@
     },
     "expected": {
       "type": "rule",
-        "rules":{
-          "expected": "100\n"
-        }
+      "rules": {
+        "expected": "100\n"
+      }
     }
-  }
+  },
+  "proxy": false
 }

evaluation_examples/examples/os/37887e8c-da15-4192-923c-08fa390a176d.json

@@ -86,5 +86,6 @@
         "exclude": []
       }
     }
-  }
+  },
+  "proxy": false
 }

evaluation_examples/examples/os/3ce045a0-877b-42aa-8d2c-b4a863336ab8.json

@@ -26,5 +26,6 @@
       "command": "gsettings get org.gnome.desktop.interface text-scaling-factor",
       "shell": true
     }
-  }
+  },
+  "proxy": false
 }

evaluation_examples/examples/os/4127319a-8b79-4410-b58a-7a151e15f3d7.json

@@ -55,5 +55,6 @@
         "exclude": []
       }
     }
-  }
+  },
+  "proxy": false
 }

evaluation_examples/examples/os/4783cc41-c03c-4e1b-89b4-50658f642bd5.json

@@ -44,5 +44,6 @@
   ],
   "evaluator": {
     "func": "infeasible"
-  }
-}
+  },
+  "proxy": false
+}

evaluation_examples/examples/os/4d117223-a354-47fb-8b45-62ab1390a95f.json

@@ -96,5 +96,6 @@
         "exclude": []
       }
     }
-  }
+  },
+  "proxy": false
 }

evaluation_examples/examples/os/5812b315-e7bd-4265-b51f-863c02174c28.json

@@ -59,5 +59,6 @@
         "exclude": []
       }
     }
-  }
+  },
+  "proxy": false
 }

evaluation_examples/examples/os/5c1075ca-bb34-46a3-a7a0-029bd7463e79.json

@@ -94,5 +94,6 @@
         "exclude": []
       }
     }
-  }
+  },
+  "proxy": false
 }

evaluation_examples/examples/os/5ced85fc-fa1a-4217-95fd-0fb530545ce2.json

@@ -61,5 +61,6 @@
         "exclude": []
       }
     }
-  }
+  },
+  "proxy": false
 }

evaluation_examples/examples/os/5ea617a3-0e86-4ba6-aab2-dac9aa2e8d57.json

@@ -50,5 +50,6 @@
         "expected": "File exists.\n"
       }
     }
-  }
+  },
+  "proxy": false
 }

evaluation_examples/examples/os/6f56bf42-85b8-4fbb-8e06-6c44960184ba.json

@@ -86,5 +86,6 @@
         "exclude": []
       }
     }
-  }
+  },
+  "proxy": false
 }

evaluation_examples/examples/os/94d95f96-9699-4208-98ba-3c3119edf9c2.json

@@ -36,5 +36,6 @@
         ]
       }
     }
-  }
+  },
+  "proxy": false
 }

evaluation_examples/examples/os/a462a795-fdc7-4b23-b689-e8b6df786b78.json

@@ -28,5 +28,6 @@
   ],
   "evaluator": {
     "func": "infeasible"
-  }
-}
+  },
+  "proxy": false
+}

evaluation_examples/examples/os/a4d98375-215b-4a4d-aee9-3d4370fccc41.json

@@ -44,5 +44,6 @@
         "expected": "true\n"
       }
     }
-  }
+  },
+  "proxy": false
 }

evaluation_examples/examples/os/b3d4a89c-53f2-4d6b-8b6a-541fb5d205fa.json

@@ -10,5 +10,6 @@
   ],
   "evaluator": {
     "func": "infeasible"
-  }
+  },
+  "proxy": false
 }

evaluation_examples/examples/os/b6781586-6346-41cd-935a-a6b1487918fc.json

@@ -26,5 +26,6 @@
       "command": "timedatectl status",
       "shell": true
     }
-  }
+  },
+  "proxy": false
 }

evaluation_examples/examples/os/bedcedc4-4d72-425e-ad62-21960b11fe0d.json

@@ -48,5 +48,6 @@
         "expected": "uint32 0\n"
       }
     }
-  }
+  },
+  "proxy": false
 }

evaluation_examples/examples/os/c288e301-e626-4b98-a1ab-159dcb162af5.json

@@ -1,13 +1,14 @@
 {
-    "id": "c288e301-e626-4b98-a1ab-159dcb162af5",
-    "snapshot": "os",
-    "instruction": "Please set the default Python version to Python3 on my Ubuntu system.",
-    "source": "https://stackoverflow.com/questions/41986507/unable-to-set-default-python-version-to-python3-in-ubuntu",
-    "trajectory": "trajectories/",
-    "related_apps": [
-      "os"
-    ],
-    "evaluator": {
-      "func": "infeasible"
-    }
-  }
+  "id": "c288e301-e626-4b98-a1ab-159dcb162af5",
+  "snapshot": "os",
+  "instruction": "Please set the default Python version to Python3 on my Ubuntu system.",
+  "source": "https://stackoverflow.com/questions/41986507/unable-to-set-default-python-version-to-python3-in-ubuntu",
+  "trajectory": "trajectories/",
+  "related_apps": [
+    "os"
+  ],
+  "evaluator": {
+    "func": "infeasible"
+  },
+  "proxy": false
+}

evaluation_examples/examples/os/e0df059f-28a6-4169-924f-b9623e7184cc.json

@@ -28,16 +28,17 @@
   ],
   "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"
-        }
+    "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"
       }
-  }
+    }
+  },
+  "proxy": false
 }

evaluation_examples/examples/os/ec4e3f68-9ea4-4c18-a5c9-69f89d1178b3.json

@@ -55,5 +55,6 @@
         ]
       }
     }
-  }
-}
+  },
+  "proxy": false
+}

evaluation_examples/examples/os/f9be0997-4b7c-45c5-b05c-4612b44a6118.json

@@ -1,17 +1,17 @@
 {
-    "id": "f9be0997-4b7c-45c5-b05c-4612b44a6118",
-    "snapshot": "os",
-    "instruction": "I am currently working on a ubuntu system but I do not want the notifications to bother me. Can you help me to switch to 'Do not disturb mode'?",
-    "source": "https://help.ubuntu.com/lts/ubuntu-help/shell-notifications.html.en",
-    "config": [
-      {
-        "type": "execute",
-        "parameters": {
-          "command": "gsettings set org.gnome.desktop.notifications show-banners true",
-          "shell": true
-        }
-      },
-      {
+  "id": "f9be0997-4b7c-45c5-b05c-4612b44a6118",
+  "snapshot": "os",
+  "instruction": "I am currently working on a ubuntu system but I do not want the notifications to bother me. Can you help me to switch to 'Do not disturb mode'?",
+  "source": "https://help.ubuntu.com/lts/ubuntu-help/shell-notifications.html.en",
+  "config": [
+    {
+      "type": "execute",
+      "parameters": {
+        "command": "gsettings set org.gnome.desktop.notifications show-banners true",
+        "shell": true
+      }
+    },
+    {
       "type": "execute",
       "parameters": {
         "command": [
@@ -21,23 +21,24 @@
         ]
       }
     }
-    ],
-    "trajectory": "trajectories/",
-    "related_apps": [
-      "os"
-    ],
-    "evaluator": {
-      "func": "exact_match",
-      "result": {
-        "type": "vm_command_line",
-        "command": "gsettings get org.gnome.desktop.notifications show-banners",
-        "shell": true
-      },
-      "expected": {
-        "type": "rule",
-        "rules":{
-          "expected": "false\n"
-        }
+  ],
+  "trajectory": "trajectories/",
+  "related_apps": [
+    "os"
+  ],
+  "evaluator": {
+    "func": "exact_match",
+    "result": {
+      "type": "vm_command_line",
+      "command": "gsettings get org.gnome.desktop.notifications show-banners",
+      "shell": true
+    },
+    "expected": {
+      "type": "rule",
+      "rules": {
+        "expected": "false\n"
       }
     }
-  }
+  },
+  "proxy": false
+}

evaluation_examples/examples/os/fe41f596-a71b-4c2f-9b2f-9dcd40b568c3.json

@@ -4,12 +4,12 @@
   "instruction": "I want to see the battery percentage. Can you help me display it on my screen?",
   "source": "https://help.ubuntu.com/lts/ubuntu-help/power-percentage.html.en",
   "trajectory": "trajectories/",
-  "config": [
-  ],
+  "config": [],
   "related_apps": [
     "os"
   ],
   "evaluator": {
     "func": "infeasible"
-  }
+  },
+  "proxy": false
 }