jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-07 17:38:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

force some files to be read-only (#453)

Browse Source
This commit is contained in:
Alberto Iannaccone
2021-07-23 10:01:42 +02:00
committed by GitHub
parent 5897f379a4
commit 38d372e2d5
1 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
arduino-ide-extension/src/common/protocol/sketches-service-client-impl.ts
View File

@@ -12,6 +12,12 @@ import { Sketch, SketchesService } from '../../common/protocol';
import { ConfigService } from './config-service';
import { SketchContainer } from './sketches-service';
const READ_ONLY_FILES = [
'thingProperties.h',
'thingsProperties.h',
'sketch.json',
];
@injectable()
export class SketchesServiceClientImpl
implements FrontendApplicationContribution
@@ -172,6 +178,9 @@ export class SketchesServiceClientImpl
if (toCheck.scheme === 'user-storage') {
return false;
}
if (READ_ONLY_FILES.includes(toCheck?.path?.base)) {
return true;
}
const readOnly = !this.workspaceService
.tryGetRoots()
.some(({ resource }) => resource.isEqualOrParent(toCheck));