diff options
| author | eric thul <thul.eric@gmail.com> | 2017-04-24 21:04:49 -0400 |
|---|---|---|
| committer | eric thul <thul.eric@gmail.com> | 2017-04-24 21:04:49 -0400 |
| commit | 71a96808ac8a7c1ba8cb9c78b649d7f6e6530a95 (patch) | |
| tree | 6588d26c44642b1d2ad1e1ee792dc894cb9668d4 /README.md | |
| parent | 4dd301a2303cfab9c504528e6b8cacbdc0b25fb1 (diff) | |
| download | purs-loader-71a96808ac8a7c1ba8cb9c78b649d7f6e6530a95.tar.gz purs-loader-71a96808ac8a7c1ba8cb9c78b649d7f6e6530a95.tar.zst purs-loader-71a96808ac8a7c1ba8cb9c78b649d7f6e6530a95.zip | |
Add options for ide commands
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 4 |
1 files changed, 3 insertions, 1 deletions
| @@ -56,7 +56,9 @@ const loaderConfig = { | |||
| 56 | pscBundle: null, // purs bundle | 56 | pscBundle: null, // purs bundle |
| 57 | pscBundleArgs: {}, | 57 | pscBundleArgs: {}, |
| 58 | pscIde: false, // instant rebuilds using psc-ide-server (experimental) | 58 | pscIde: false, // instant rebuilds using psc-ide-server (experimental) |
| 59 | pscIdeArgs: {}, // for example, to use different psc-ide-server port: {port: 4088} | 59 | pscIdeClient: null, // purs ide client |
| 60 | pscIdeClientArgs: {}, // for example, to use different port {port: 4088} | ||
| 61 | pscIdeServer: null, // purs ide server | ||
| 60 | pscIdeServerArgs: {}, // for example, to change the port { port: 4088 } | 62 | pscIdeServerArgs: {}, // for example, to change the port { port: 4088 } |
| 61 | pscIdeColors: false, // defaults to true if psc === 'psa' | 63 | pscIdeColors: false, // defaults to true if psc === 'psa' |
| 62 | pscPackage: false, | 64 | pscPackage: false, |