diff options
| author | Fuwn <[email protected]> | 2021-07-16 09:35:37 +0000 |
|---|---|---|
| committer | Fuwn <[email protected]> | 2021-07-16 09:35:37 +0000 |
| commit | 5fdaedee2bf1e426f82ee9727f180b7f75f6f949 (patch) | |
| tree | 6fc12b47819de3dd8bbc1ae0fc7805a91ab59bbc | |
| parent | Merge pull request #58 from Whirlsplash/renovate/sysinfo-0.x (diff) | |
| download | whirl-5fdaedee2bf1e426f82ee9727f180b7f75f6f949.tar.xz whirl-5fdaedee2bf1e426f82ee9727f180b7f75f6f949.zip | |
build(make): create kill task
Given that Whirl sometimes fails to exit properly (which should be fixed soon...), this task is
needed to kill all dangling Whirl processes.
| -rw-r--r-- | Makefile.toml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile.toml b/Makefile.toml index edc3ffc..65e2e58 100644 --- a/Makefile.toml +++ b/Makefile.toml @@ -161,3 +161,8 @@ workspace = false toolchain = "nightly" command = "cargo" args = ["doc", "--open", "--document-private-items", "--no-deps"] + +[tasks.kill] +workspace = false +command = "sudo" +args = ["killall", "-s", "SIGKILL", "whirl", "--exact", "--wait"] |