From 4cee3e9f22a7d5845a97062fd1ab7a3e7119cb7f Mon Sep 17 00:00:00 2001 From: veetaha 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(-) (limited to 'editors/code') 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