summaryrefslogtreecommitdiff
path: root/scratch
diff options
context:
space:
mode:
authorLi Haoyi <haoyi.sg@gmail.com>2018-05-19 09:37:25 -0700
committerGitHub <noreply@github.com>2018-05-19 09:37:25 -0700
commita7cb99f1bce04366f688d36bc9faef30161da8e7 (patch)
tree8e4d03449536bd0400f454c863fc3031c4f02f7b /scratch
parentb03cf740533810e95774c079c76788d7ad61d8a2 (diff)
downloadmill-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.sc3
-rw-r--r--scratch/readme.md15
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