diff options
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 3 |
1 files changed, 2 insertions, 1 deletions
| @@ -59,7 +59,8 @@ const loaderConfig = { | |||
| 59 | pscIdeClient: null, // purs ide client | 59 | pscIdeClient: null, // purs ide client |
| 60 | pscIdeClientArgs: {}, // for example, to use different port {port: 4088} | 60 | pscIdeClientArgs: {}, // for example, to use different port {port: 4088} |
| 61 | pscIdeServer: null, // purs ide server | 61 | pscIdeServer: null, // purs ide server |
| 62 | pscIdeServerArgs: {}, // for example, to change the port { port: 4088 } | 62 | pscIdeServerArgs: {}, // for example, to change the port {port: 4088} |
| 63 | pscIdeRebuildArgs: {} // for example, for sourcemaps {codegen: ['js', 'sourcemaps']} | ||
| 63 | pscIdeColors: false, // defaults to true if psc === 'psa' | 64 | pscIdeColors: false, // defaults to true if psc === 'psa' |
| 64 | pscPackage: false, | 65 | pscPackage: false, |
| 65 | bundleOutput: 'output/bundle.js', | 66 | bundleOutput: 'output/bundle.js', |