configure updater options

Author: Alberto Iannaccone

arduino-ide-extension/src/browser/ide-updater/ide-updater-commands.ts

@@ -1,12 +1,19 @@
-import { Command, CommandContribution, CommandRegistry } from '@theia/core';
+import {
+  Command,
+  CommandContribution,
+  CommandRegistry,
+  MessageService,
+} from '@theia/core';
 import { injectable, inject } from 'inversify';
 import { IDEUpdaterService } from '../../common/protocol/ide-updater-service';
 
 @injectable()
 export class IDEUpdaterCommands implements CommandContribution {
   constructor(
     @inject(IDEUpdaterService)
-    private readonly updater: IDEUpdaterService
+    private readonly updater: IDEUpdaterService,
+    @inject(MessageService)
+    protected readonly messageService: MessageService
   ) {}
 
   registerCommands(registry: CommandRegistry): void {
@@ -24,8 +31,9 @@ export class IDEUpdaterCommands implements CommandContribution {
     });
   }
 
-  checkForUpdates() {
-    this.updater.checkForUpdates();
+  async checkForUpdates() {
+    const info = await this.updater.checkForUpdates();
+    this.messageService.info(`version ${info.version} available`);
   }
 
   downloadUpdate() {

arduino-ide-extension/src/node/ide-updater/ide-updater-service-impl.ts

@@ -1,5 +1,5 @@
 import { injectable } from '@theia/core/shared/inversify';
-import { AllPublishOptions } from 'builder-util-runtime';
+import { GenericServerOptions } from 'builder-util-runtime';
 import {
   AppUpdater,
   AppImageUpdater,
@@ -21,17 +21,11 @@ export class IDEUpdaterServiceImpl implements IDEUpdaterService {
   protected theiaFEClient?: IDEUpdaterServiceClient;
 
   constructor() {
-    const options: AllPublishOptions = {
-      provider: 's3',
-      bucket: '',
-      region: '',
-      acl: 'public-read',
-      endpoint: 'https://{service}.{region}.amazonaws.com',
-      channel: '',
+    const options: GenericServerOptions = {
+      provider: 'generic',
+      url: 'https://downloads.arduino.cc/arduino-ide/nightly/test/',
+      channel: 'beta',
     };
-    // TODO: Search S3 bucket name for the two channels
-    // https://downloads.arduino.cc/arduino-ide/arduino-ide_2.0.0-rc2_Linux_64bit.zip
-    // https://downloads.arduino.cc/arduino-ide/nightly/arduino-ide_nightly-latest_Linux_64bit.zip
 
     this.cancellationToken = new CancellationToken();
     if (process.platform === 'win32') {