mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-06-20 11:06:32 +00:00
16 lines
473 B
JavaScript
16 lines
473 B
JavaScript
const os = require('os');
|
|
const path = require('path');
|
|
// Enables the discovery of the VS Code extensions in the embedded `plugins` folder in the final app.
|
|
process.env.THEIA_DEFAULT_PLUGINS = `local-dir:${path.resolve(
|
|
__dirname,
|
|
'..',
|
|
'plugins'
|
|
)}`;
|
|
process.env.THEIA_PLUGINS = [
|
|
process.env.THEIA_PLUGINS,
|
|
`local-dir:${path.resolve(os.homedir(), '.arduinoIDE', 'plugins')}`,
|
|
]
|
|
.filter(Boolean)
|
|
.join(',');
|
|
require('../src-gen/frontend/electron-main.js');
|