diff --git a/arduino-ide-extension/package.json b/arduino-ide-extension/package.json index 64fdc952..2a016d21 100644 --- a/arduino-ide-extension/package.json +++ b/arduino-ide-extension/package.json @@ -1,6 +1,6 @@ { "name": "arduino-ide-extension", - "version": "2.0.0-beta.7", + "version": "2.0.0-beta.8", "description": "An extension for Theia building the Arduino IDE", "license": "AGPL-3.0-or-later", "scripts": { diff --git a/arduino-ide-extension/src/browser/create/create-fs-provider.ts b/arduino-ide-extension/src/browser/create/create-fs-provider.ts index 645d89f5..e459b6dc 100644 --- a/arduino-ide-extension/src/browser/create/create-fs-provider.ts +++ b/arduino-ide-extension/src/browser/create/create-fs-provider.ts @@ -29,11 +29,7 @@ import { CreateUri } from './create-uri'; import { SketchesService } from '../../common/protocol'; import { ArduinoPreferences } from '../arduino-preferences'; -export const REMOTE_ONLY_FILES = [ - 'sketch.json', - 'thingsProperties.h', - 'thingProperties.h', -]; +export const REMOTE_ONLY_FILES = ['sketch.json']; @injectable() export class CreateFsProvider diff --git a/browser-app/package.json b/browser-app/package.json index 869cf05c..8289d429 100644 --- a/browser-app/package.json +++ b/browser-app/package.json @@ -1,7 +1,7 @@ { "private": true, "name": "browser-app", - "version": "2.0.0-beta.7", + "version": "2.0.0-beta.8", "license": "AGPL-3.0-or-later", "dependencies": { "@theia/core": "next", @@ -19,7 +19,7 @@ "@theia/process": "next", "@theia/terminal": "next", "@theia/workspace": "next", - "arduino-ide-extension": "2.0.0-beta.7" + "arduino-ide-extension": "2.0.0-beta.8" }, "devDependencies": { "@theia/cli": "next" diff --git a/electron-app/package.json b/electron-app/package.json index 72e58697..9ce8f5c9 100644 --- a/electron-app/package.json +++ b/electron-app/package.json @@ -1,7 +1,7 @@ { "private": true, "name": "electron-app", - "version": "2.0.0-beta.7", + "version": "2.0.0-beta.8", "license": "AGPL-3.0-or-later", "main": "src-gen/frontend/electron-main.js", "dependencies": { @@ -21,7 +21,7 @@ "@theia/process": "next", "@theia/terminal": "next", "@theia/workspace": "next", - "arduino-ide-extension": "2.0.0-beta.7" + "arduino-ide-extension": "2.0.0-beta.8" }, "devDependencies": { "@theia/cli": "next" diff --git a/package.json b/package.json index 37b4c986..9016bf1f 100644 --- a/package.json +++ b/package.json @@ -1,6 +1,6 @@ { "name": "arduino-ide", - "version": "2.0.0-beta.7", + "version": "2.0.0-beta.8", "description": "Arduino IDE", "repository": "https://github.com/arduino/arduino-ide.git", "author": "Arduino SA",