Send a signal to a process.

Synopsis

kill [-SIGNAL] PID...

Description

Send a signal to one or more processes. Runs in the just-bash WASM shell inside SLICC.

Signals

-9, -KILL, -SIGKILL Force terminate.

-15, -TERM, -SIGTERM Graceful terminate (default).

-2, -INT, -SIGINT Interrupt.

-0 Check if process exists.

Examples

$ kill 1234

Send SIGTERM to process 1234.

$ kill -9 5678

Force kill process 5678.

Notes

Operates on SLICC shell processes. Use jobs or ps to find PIDs.

See Also

ps, jobs, trap, wait