enso/app/ide-desktop/config.js

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

export const defaultLogServerPort = 20060
export const defaultLogServerHost = `localhost:${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.`
			`*/`

New IDE build script (#3466) 2022-05-23 05:16:04 +03:00			`export const defaultLogServerPort = 20060`
			export const defaultLogServerHost = `localhost:${defaultLogServerPort}`