Use curl instead of wget

Signed-off-by: Mykola Morhun <mmorhun@redhat.com>
eclipse-che · Mar 19, 2020 · 7c2b7de · 7c2b7de
1 parent 01b3153
commit 7c2b7de
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/plugins/workspace-plugin/src/theia-commands.ts b/plugins/workspace-plugin/src/theia-commands.ts
@@ -204,11 +204,12 @@ export class TheiaImportZipCommand implements TheiaImportCommand {
         const importZip = async (progress: theia.Progress<{ message?: string; increment?: number }>, token: theia.CancellationToken): Promise<void> => {
             try {
                 // download
-                const wgetArgs = [this.locationURI!, '-O', this.zipfilePath];
+                const curlArgs = ['-sL', '--output', this.zipfilePath];
                 if (fs.existsSync(SS_CRT_PATH)) {
-                    wgetArgs.push('--no-check-certificate');
+                    curlArgs.push('-k');
                 }
-                await execute('wget', wgetArgs);
+                curlArgs.push(this.locationURI!);
+                await execute('curl', curlArgs);
 
                 // expand
                 fs.mkdirSync(this.projectDir);