Index of values

Same as assign, but infix notation.

Same as assign, but infix notation.

Exit the program immediately without running the atexit handlers.

Tries to get rid of a running job.

Adds a command to a job.

Adds a consumer to the job.

Adds a pipeline which redirects the output of the command src to the input of the command dest.

Adds a producer to the job.

Arranges a redirection such that writing to src or reading from src will actually write to target or read from target (i.e., the target descriptor is duplicated and replaces the src descriptor just before the process is launched.)

Returns the target and the source of the assignment as pair of descriptors (target,src).

Executes the command and waits until the process terminates (synchronous execution a la system, but no intermediate shell).

Starts the pipeline represented by the list of commands; i.e.

Starts the job (see run_job) and waits until it finishes (see finish_job); i.e.

The same as command but with a slightly different interface: Use

 cmd "ls" [ "/dir/file" ] 

instead of

 command ~arguments:[|"/dir/file"|] "ls" 

Creates a command from the passed arguments:

Creates a command descriptor, to be used in call.

Returns the command that is now running as the process

Configures signal and at_exit handlers for jobs: The keyboard signals SIGINT and SIGQUIT are forwarded to all jobs which are running in the background (and thus are not automatically notified) and want to get such signals (forward_signals). After the signals have been forwarded, the previous signal action is performed., The signals SIGTERM and SIGHUP are (if the handler is installed) forwarded to all dependent processes (regardless whether they are running in their own Unix process group or not, and regardless of forward_signals). After the signals have been forwarded, the previous signal action is performed., The at_exit handler sends a SIGTERM to all dependent processes, too., the SIGCHLD handler calls watch_for_zombies. After this function is called, the previous signal action is performed; however if the previous action was Signal_ignore this is incorrectly interpreted as empty action (zombies are not avoided), The handler for SIGPIPE does nothing; note that a previous action is overwritten (the parameter is called set_sigpipe to stress this) Dependent processes are: For jobs with mode = Foreground or Background: the processes of the corresponding Unix process group, For jobs with mode = Same_as_caller: the actually started children processes Note that if an uncaught exception leads to program termination, this situation will not be detected; any running jobs will not be terminated (sorry, this cannot be fixed).

Returns a duplicate of the command description

Copies an environment

Creates an empty environment

Returns the name of the controlling tty of the current process as pathname to a device file

Returns the environment of the current process as abstract environment value

Make a file descriptor from an integer

Waits until all of the processes of the job have terminated.

A producer taking the data from /dev/null.

Creates a producer taking the data from the file descriptor passed to this function.

Creates a producer taking the data from the file whose name is passed to this function.

Creates a producer taking the data from a function.

from_stream ?epipe s returns a function which can be used as producer argument for add_producer.

Creates a producer taking the data from a stream of strings.

from_string ?pos ?len ?epipe s returns a function which can be used as producer argument for add_producer.

Creates a producer taking the data from a string s.

Returns the argument array of the command (skipping the command name)

Returns the list of assignments (fd_from,fd_to)

Returns the chdir parameter of the command

Returns the name of the command

Returns the list of active descriptors

Gets the contents of the environment as string array

Returns the value of the variable in the environment

Returns the designated environment of the command

Returns the file name of the executable

Return the process group ID of the process with the passed PID.

Same as getpgid 0, i.e.

Returns the session ID of the process with the passed PID.

Installs handlers as configured before.

Return the file descriptor as integer

Returns true if there is an executable file for the command, and it is permitted to run this file (as stated by the file permissions).

Iterates over the strings of the environment, and calls f s for every string s.

Iterates over the variables of the environment, and calls f name value for every variable with name and value.

Iterates over the jobs in the list of active jobs and calls f for every job_instance.

Returns the status.

Sends a signal to the passed process.

Kills the process group if it is still (at least partially) running.

Kills the individual processes of the job which are still running.

Searches an executable file.

Creates a new job descriptor.

Looks at the error codes of the job, and raises Subprocess_error when there is an error that cannot be ignored.

true iff the group has mode=Background and forward_signals.

Returns the Unix ID of the process group as number > 1.

Returns the process group leader process.

Returns the process ID of the process

Returns the processes that have actually been started for this job by run_job; note that the corresponding Unix process group may have additional processes (e.g.

Registers the job at the passed system_handler.

Executes the command concurrently with the current process.

Invokes the commands of the job such that they run concurrently with the main process.

Sets the argument array

Sets the list of assignments (fd_from,fd_to)

Sets the chdir parameter of the command

Sets the command name

Sets the list of active descriptors

Sets the contents of the environment to the passed string array

set_env_var env varname varval: Sets the value of the variable varname in the environment env to varval.

Sets the environment

Sets the file name of the executable to start

setpgid pid pgid: Set the process group ID of the process pid to pgid.

Same as setpgid 0 0: A new process group ID is created, and the current process becomes its sole member.

Changes both the real and the effective group ID of the current process.

Changes both the real and the effective user ID of the current process.

Creates a job like call, but does not execute it.

Reports the status as determined by wait (below): If the process has terminated, the status of the process is returned.

The standard descriptors; defined here for convenience.

Return the maximum number of open file descriptor per process.

Return the process group ID of the foreground process group of the session associated with the file descriptor, which must be a tty.

Sets the foreground process group ID of the session associated with the file descriptor, which must be a tty.

to_buffer b returns a function which can be used as consumer argument for add_consumer.

Creates a consumer writing the data into the passed buffer.

A consumer redirecting the data to /dev/null.

Creates a consumer redirecting the data to the file descriptor

Creates a consumer writing the data into the file whose name is passed to this function.

Creates a consumer writing the data by calling a function.

Returns the name of the controlling tty referred to by the file descriptor.

Watches the given list of processes and the file descriptors read, write, and except, and waits until events for these resources have happened, and reports these.

Iterates over the jobs in the list of abandoned jobs, and removes zombie processes.