mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-10-26 19:48:35 +00:00
This commit is contained in:
committed by
Francesco Stasi
parent
db48ed616b
commit
852bf9b73e
@@ -2,6 +2,7 @@ export const ConfigServicePath = '/services/config-service';
|
||||
export const ConfigService = Symbol('ConfigService');
|
||||
export interface ConfigService {
|
||||
getVersion(): Promise<Readonly<{ version: string, commit: string, status?: string }>>;
|
||||
getCliConfigFileUri(): Promise<string>;
|
||||
getConfiguration(): Promise<Config>;
|
||||
setConfiguration(config: Config): Promise<void>;
|
||||
isInDataDir(uri: string): Promise<boolean>;
|
||||
|
||||
Reference in New Issue
Block a user