Make up one OS example

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

@@ -1,17 +1,46 @@
 {
-    "id": "13584542-872b-42d8-b299-866967b5c3ef",
-    "snapshot": "os",
-    "instruction": "Set the default terminal size and screen x,y coordinates in order to make the terminal window always open at the same location and with the same size.",
-    "source": "https://superuser.com/questions/72176/linux-set-default-terminal-size-and-screen-position",
-    "trajectory": "trajectories/",
-    "related_apps": [
-      "os"
-    ],
-    "evaluator": {
-      "func": "",
-      "result": {
+  "id": "13584542-872b-42d8-b299-866967b5c3ef",
+  "snapshot": "os",
+  "instruction": "I click in terminal: terminal->132x43 to change terminal size but after each reboot terminal size is set to default setting and I have to change it again. Help me set it permanently",
+  "source": "https://superuser.com/questions/72176/linux-set-default-terminal-size-and-screen-position",
+  "trajectory": "trajectories/",
+  "config": [
+  ],
+  "related_apps": [
+    "os"
+  ],
+  "evaluator": {
+    "postconfig": [
+      {
+        "type": "sleep",
+        "parameters": {
+          "seconds": 1
+        }
       },
-      "expected": {
+      {
+        "type": "execute",
+        "parameters": {
+          "command": [
+            "python",
+            "-c",
+            "import pyautogui; import time; time.sleep(0.5); pyautogui.hotkey('ctrl', 'alt', 't'); time.sleep(0.5); pyautogui.write('stty size'); time.sleep(0.5); pyautogui.press('enter')"
+          ]
+        }
+      }
+    ],
+    "func": "check_include_exclude",
+    "result": {
+      "type": "vm_terminal_output"
+    },
+    "expected": {
+      "type": "rule",
+      "rules": {
+        "include": [
+          "43 132"
+        ],
+        "exclude": [
+        ]
       }
     }
-  }
+  }
+}