docs menu

Module Rig_bin

#module Address : sig ... end

Machines and addresses, written one way: a name or an address, an IPv6 address in brackets, as URIs write it: h100-b, 10.0.0.2, [fd00::2], [::1]:7000.

#module Agent : sig ... end

rig agent: a machine's half of a job, and the agent it starts.

#module Firmware : sig ... end

rig firmware: a directory filled with a driver's pinned firmware images.

#module Help : sig ... end

The pages of rig --help and of each command's --help.

#module Images : sig ... end

The firmware images each driver-less driver boots with: its gen/headers/firmware.tsv, from which gen/gen.py also makes the driver's pins.

#module Line : sig ... end

The lines a launched process and a machine's half write to their launcher.

#module Proc : sig ... end

Processes: starting them, learning how they ended, ending them.

#module Run : sig ... end

rig run: a job's launcher.

#module Version : sig ... end

rig's version, the rig package's.