Skip to content

Feature: kill a background processΒ #30

Open
@mattjbray

Description

A common pattern in bash is to start a long-running process in the background, do something, then kill it:

foo &
FOO_PID=$!
# do other stuff
kill $FOO_PID

It'd be nice to have an API for this. (Currently there is no way to get the PID of a background_process.)

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions