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 | 9b217c8b720c4998d12c33b15e789b30c5f1046f (patch) | |
| tree | 083eac659b8d0577b6061f534632cec657cc4197 | |
| parent | Merge pull request #58 from Whirlsplash/renovate/sysinfo-0.x (diff) | |
| download | archived-whirl-9b217c8b720c4998d12c33b15e789b30c5f1046f.tar.xz archived-whirl-9b217c8b720c4998d12c33b15e789b30c5f1046f.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"] |