Enum History 

pub enum History {
    Off,
    Manual,
}

Whether the workspace maintains a historica store’s skiplist — the generated region of history/skipped.txt that scopes what historica record takes to the workspace’s reachable graph.

Recording itself is historica’s, not prov’s; what prov contributes is which files are the workspace, and this axis says whether prov is asked to keep the store’s scoping current (prov history-skips --write).

Default off, unlike recycle_bin: a version-control store is ongoing storage the user has not asked for. It is also the wrong tool when the transport is git, which already stores every pre-image and reconciles concurrent histories — a historica store earns its keep on Dropbox, Syncthing, iCloud, a synced network share.

off gates writing only. Computing and showing the plan works regardless: asking what the workspace fails to reach is a question about the workspace, not about history.

Variants

Off

The skiplist is not maintained (off, the default). history-skips still shows its plan; --write refuses.

Manual

The skiplist is rewritten when the user asks (manual) — prov history-skips --write, run by hand or by a pre-record script the user wires up themselves. prov does not run the recording, so there is no event for it to hook.

Implementations

impl History

pub fn captures(self) -> bool

Whether history-skips --write is permitted to rewrite the region.

pub fn from_config_str(value: &str) -> Option<Self>

Parse the history config spelling; unknown → None.

pub fn as_config_str(self) -> &'static str

The history config spelling.

Trait Implementations

impl Clone for History

fn clone(&self) -> History

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for History

impl Debug for History

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for History

fn default() -> History

Returns the “default value” for a type.

impl Eq for History

impl PartialEq for History

fn eq(&self, other: &History) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for History