Skip to main content

lean_ctx_data_dir

lean_ctx::core::data_dir

Function lean_ctx_data_dir 

Source 
pub fn lean_ctx_data_dir() -> Result<PathBuf, String>
Expand description

Resolve the lean-ctx data directory.

Priority order (backward-compatible XDG migration):

  1. LEAN_CTX_DATA_DIR env var (explicit override)
  2. ~/.lean-ctx if it already exists (don’t break existing installs)
  3. $XDG_CONFIG_HOME/lean-ctx (XDG compliant, default ~/.config/lean-ctx)