Skip to main content

Module data_dir

Module data_dir 

Source

Functions§

all_data_dirs_with_stats
Returns all known data directories that contain stats data, in resolution priority order (legacy → mixed config → XDG data). Used by the dual-dir consolidation (crate::core::data_consolidate) and doctor diagnostics.
lean_ctx_data_dir
Resolve the lean-ctx data directory.
test_env_lock