enso/app/ide-desktop/config.js

/**
 * Configuration options that are only used by the JavaScript part of the project.
 */

exports.defaultLogServerPort = 20060
exports.defaultLogServerHost = `localhost:${exports.defaultLogServerPort}`
Add --no-data-gathering as a startup option (https://github.com/enso-org/ide/pull/1328) Add --no-data-gathering as a startup option This option will disable sending any data to Mixpanel. Original commit: https://github.com/enso-org/ide/commit/145153b70290e5de7556f3a6ae43f90bed5e3d28 2021-03-19 13:43:34 +03:00			`/**`
			`* Configuration options that are only used by the JavaScript part of the project.`
			`*/`

Crash reporting (https://github.com/enso-org/ide/pull/978) Original commit: https://github.com/enso-org/ide/commit/0bfe71f3316cfda2d4567973555a3b15d452333b 2020-12-30 06:58:45 +03:00			`exports.defaultLogServerPort = 20060`
			exports.defaultLogServerHost = `localhost:${exports.defaultLogServerPort}`