git_policy_cli/process/
mod.rs

1//! What:
2//!  Processes:
3//!  identities,
4//!  trees,
5//!  sockets,
6//!  signals and quiet-time ledgers.
7//! Why:
8//!  The facts about processes are shared by locks and pushes.
9//!
10//! In TS you'd write (pseudocode):
11//! ```ts
12//! // process/index.ts: one `export * from './file'` per module below.
13//! ```
14
15/// The longest quiet gap of every Git step and tool this process ran, kept until a timing record takes it.
16pub mod quiet_ledger;
17
18/// Whether a thread of this process is at work, and the clock that says when it has been quiet for a window.
19pub mod thread_quiet;
20
21/// Output of a child captured into anonymous files, so that the child outlives the command that started it.
22pub mod output_capture;
23
24/// The PID namespace an owner record names, and the rule for owners of another one.
25pub mod pid_namespace;
26
27/// Process-birth identities in the incumbent's exact spelling.
28pub mod process_identity;
29
30/// Process start times for lock owners,
31///  read from `/proc`,
32///  `ps` or the Windows process table.
33pub mod process_start;
34
35/// Catching SIGINT, SIGTERM, SIGHUP and SIGQUIT while a Git child runs, and relaying only process-sent signals.
36pub mod signal_relay;
37
38/// The processes of this host that use a directory or a file.
39pub mod process_use;
40
41/// The processes below one process, read before it is stopped and signalled only while they are still the ones found.
42pub mod process_tree;
git_policy_cli/process/mod.rs

git_policy_cli/process/
mod.rs
