Fix OS examples annotated by Yitao

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

@@ -1,33 +1,46 @@
 {
-    "id": "ec4e3f68-9ea4-4c18-a5c9-69f89d1178b3",
-    "snapshot": "os",
-    "instruction": "Can you remove the first favorite app from 'favorites'?",
-    "source": "https://www.youtube.com/watch?v=D4WyNjt_hbQ&t=2s",
-    "config": [
-      {
-        "type": "execute",
-        "parameters": {
-          "command": "gsettings set org.gnome.shell favorite-apps \"['thunderbird.desktop', 'firefox.desktop', 'libreoffice-writer.desktop']\""
-        }
+  "id": "ec4e3f68-9ea4-4c18-a5c9-69f89d1178b3",
+  "snapshot": "os",
+  "instruction": "Can you remove the first favorite app from 'favorites'?",
+  "source": "https://www.youtube.com/watch?v=D4WyNjt_hbQ&t=2s",
+  "config": [
+    {
+      "type": "execute",
+      "parameters": {
+        "command": "gsettings set org.gnome.shell favorite-apps \"['thunderbird.desktop']\""
       }
-    ],
-    "trajectory": "trajectories/",
-    "related_apps": [
-      "os"
-    ],
-    "evaluator": {
-      "func": "exact_match",
-      "result": {
-        "type": "vm_command_line",
-        "config": {
-          "command": "gsettings get org.gnome.shell favorite-apps"
-        }
-      },
-      "expected": {
-        "type": "rule",
-        "rules":{
-          "expected": "['firefox.desktop', 'libreoffice-writer.desktop']"
-        }
+    },
+    {
+      "type": "sleep",
+      "parameters": {
+        "seconds": 0.5
+      }
+    },
+    {
+      "type": "execute",
+      "parameters": {
+        "command": "gsettings set org.gnome.shell favorite-apps \"['thunderbird.desktop', 'vim.desktop', 'google-chrome.desktop']\""
+      }
+    }
+  ],
+  "trajectory": "trajectories/",
+  "related_apps": [
+    "os"
+  ],
+  "evaluator": {
+    "func": "check_gnome_favorite_apps",
+    "result": {
+      "type": "vm_command_line",
+      "command": "gsettings get org.gnome.shell favorite-apps"
+    },
+    "expected": {
+      "type": "rule",
+      "rules": {
+        "expected": [
+          "google-chrome.desktop",
+          "thunderbird.desktop"
+        ]
       }
     }
   }
+}