# LeanKG Docker — multi-project override template.
# Copy to ./.dockerfile (gitignored), then fill in your host paths.
# cp .dockerfile.sample .dockerfile
# $EDITOR .dockerfile
#
# All variables are optional. Defaults are documented in .dockerfile.example.
# === Image selection ===
# LEANKG_IMAGE=freepeak/leankg:latest
# LEANKG_PULL_POLICY=missing
# COZOSERVER_IMAGE=freepeak/cozoserver:latest
# COZOSERVER_PULL_POLICY=missing
# === Primary project (required for --project + working_dir) ===
HOST_PROJECT_PATH=/path/to/your/project
CONTAINER_PROJECT_PATH=/workspace
LEANKG_MCP_PROJECT=/workspace
# === Side mounts (multi-project indexing) ===
# Bind a second repo alongside the primary. Container paths use neutral
# defaults (/workspace/other, /workspace/other2). Override to match your
# own workspace nicknames.
HOST_PROJECT_SIDE_PATH=/path/to/your/other-repo
CONTAINER_PROJECT_SIDE_PATH=/workspace/other
# Uncomment for a third repo:
# HOST_PROJECT_SECOND_SIDE_PATH=/path/to/your/another-repo
# CONTAINER_PROJECT_SECOND_SIDE_PATH=/workspace/other2
# === Auto-index ===
# Comma-separated list of container paths the entrypoint script scans
# and indexes on first boot. When left empty, entrypoint.sh's
# /workspace* glob picks up the primary mount + every side mount.
LEANKG_PROJECT_DIRS=/workspace,/workspace/other
# Force re-index on next boot (set to 1, then unset after one run):
# LEANKG_FORCE_REINDEX=0
# === Resources (override per env) ===
# LEANKG_EMBED_MAX_MB=512
# LEANKG_EMBED_BACKGROUND=1
# LEANKG_EMBED_BACKGROUND_WORKERS=2
