diff options
author | Li Haoyi <haoyi.sg@gmail.com> | 2018-05-19 09:37:25 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-19 09:37:25 -0700 |
commit | a7cb99f1bce04366f688d36bc9faef30161da8e7 (patch) | |
tree | 8e4d03449536bd0400f454c863fc3031c4f02f7b /scratch | |
parent | b03cf740533810e95774c079c76788d7ad61d8a2 (diff) | |
download | mill-a7cb99f1bce04366f688d36bc9faef30161da8e7.tar.gz mill-a7cb99f1bce04366f688d36bc9faef30161da8e7.tar.bz2 mill-a7cb99f1bce04366f688d36bc9faef30161da8e7.zip |
WIP keep mill server alive if you Ctrl-C during --watch (#339)
* wip
* Clean up more resources in the Mill client after every command
* catch and ignore SIGINT in Mill server to make it survive Ctrl-C on the client
Diffstat (limited to 'scratch')
-rw-r--r-- | scratch/build.sc | 3 | ||||
-rw-r--r-- | scratch/readme.md | 15 |
2 files changed, 18 insertions, 0 deletions
diff --git a/scratch/build.sc b/scratch/build.sc new file mode 100644 index 00000000..9ee78d63 --- /dev/null +++ b/scratch/build.sc @@ -0,0 +1,3 @@ +def thingy = T { + 1234567 +}
\ No newline at end of file diff --git a/scratch/readme.md b/scratch/readme.md new file mode 100644 index 00000000..6f6ffef8 --- /dev/null +++ b/scratch/readme.md @@ -0,0 +1,15 @@ +Scratch folder for testing out the local checkout of Mill on ad-hoc builds. + +To run the current checkout of Mill on the build in the scratch folder, use: + +``` +mill -i dev.run scratch -w show thingy +``` + +If you want to avoid having the bootstrap Mill process running while your +locally compiled Mill process is running on the build within `scratch` (e.g. to +simplify debugging) you can use: + +``` +mill -i dev.launcher && (cd scratch && ../out/dev/launcher/dest/run -w show thingy) +```
\ No newline at end of file |