diff options
| author | Michal Kozakiewicz <morswin@gmail.com> | 2017-01-06 17:18:59 +0100 |
|---|---|---|
| committer | Michal Kozakiewicz <morswin@gmail.com> | 2017-01-06 17:26:35 +0100 |
| commit | 6ab1eca04a11dc5d8f725b3aa8515d94b6819e4b (patch) | |
| tree | e75d77dd4686e6238fc9c9726474013686b2b36d /README.md | |
| parent | 5f4d6751efdb215207e7ee87b424b14c4dc041d1 (diff) | |
| download | purs-loader-6ab1eca04a11dc5d8f725b3aa8515d94b6819e4b.tar.gz purs-loader-6ab1eca04a11dc5d8f725b3aa8515d94b6819e4b.tar.zst purs-loader-6ab1eca04a11dc5d8f725b3aa8515d94b6819e4b.zip | |
Add psc-ide-server arguments and pass src to psc-ide-server
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -54,6 +54,7 @@ Default options: | |||
| 54 | pscBundleArgs: {}, | 54 | pscBundleArgs: {}, |
| 55 | pscIde: false, // instant rebuilds using psc-ide-server (experimental) | 55 | pscIde: false, // instant rebuilds using psc-ide-server (experimental) |
| 56 | pscIdeArgs: {}, // for example, to use different psc-ide-server port: {port: 4088} | 56 | pscIdeArgs: {}, // for example, to use different psc-ide-server port: {port: 4088} |
| 57 | pscIdeServerArgs: {}, // for example, to change the port { port: 4088 } | ||
| 57 | pscIdeColors: false, // defaults to true if psc === 'psa' | 58 | pscIdeColors: false, // defaults to true if psc === 'psa' |
| 58 | bundleOutput: 'output/bundle.js', | 59 | bundleOutput: 'output/bundle.js', |
| 59 | bundleNamespace: 'PS', | 60 | bundleNamespace: 'PS', |