From 4cee3e9f22a7d5845a97062fd1ab7a3e7119cb7f Mon Sep 17 00:00:00 2001
From: veetaha <veetaha2@gmail.com>
Date: Tue, 24 Mar 2020 01:11:36 +0200
Subject: vscode: more type safety

---
 editors/code/package.json | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/editors/code/package.json b/editors/code/package.json
index eb5748515..1d113ebb6 100644
--- a/editors/code/package.json
+++ b/editors/code/package.json
@@ -73,10 +73,18 @@
                         "type": "string"
                     },
                     "args": {
-                        "type": "array"
+                        "type": "array",
+                        "items": {
+                            "type": "string"
+                        }
                     },
                     "env": {
-                        "type": "object"
+                        "type": "object",
+                        "patternProperties": {
+                            ".+": {
+                                "type": "string"
+                            }
+                        }
                     }
                 }
             }
-- 
cgit v1.2.3