cli: update 'download:plugins' script

Fixes: #8053 The following commit updates the `download:plugins` script to report when the mandatory `theiaPlugins` property is missing from the `package.json` resulting in no plugins being downloaded. Signed-off-by: vince-fugnitto <[email protected]>
eclipse-theia · Jun 19, 2020 · 52a43ce · 52a43ce
1 parent d017cb2
commit 52a43ce
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/dev-packages/cli/src/download-plugins.ts b/dev-packages/cli/src/download-plugins.ts
@@ -65,6 +65,11 @@ export default async function downloadPlugins(options: DownloadPluginsOptions =
 
     await mkdirpAsPromised(pluginsDir);
 
+    if (!pck.theiaPlugins) {
+        console.log(red('error: missing mandatory \'theiaPlugins\' property.'));
+        return;
+    }
+
     await Promise.all(Object.keys(pck.theiaPlugins).map(async plugin => {
         if (!plugin) {
             return;