yvgude/lean-ctx v3.1.3 on GitHub

Auto-detect Docker/container environments via /.dockerenv, /proc/1/cgroup, and /proc/self/mountinfo
Write ~/.lean-ctx/env.sh during lean-ctx init --global — a standalone shell hook file without the non-interactive guard ([ -z "$PS1" ] && return) that most ~/.bashrc files have
Docker BASH_ENV warning: when Docker is detected and BASH_ENV is not set, lean-ctx init now prints the exact Dockerfile line needed: ENV BASH_ENV="/root/.lean-ctx/env.sh"
lean-ctx setup auto-fallback: detects non-interactive terminals (no TTY on stdin) and automatically runs shell hook install only instead of hanging
lean-ctx doctor Docker check: new diagnostic that warns when running in a container with bash but without BASH_ENV set

BASH_ENV="/root/.bashrc" never worked in Docker — Ubuntu/Debian .bashrc has [ -z "$PS1" ] && return which skips the entire file in non-interactive shells. The new env.sh approach bypasses this completely.

cargo install lean-ctx          # or
npm update -g lean-ctx-bin      # or
brew upgrade lean-ctx

Full Changelog: v3.1.3...v3.1.3