dotfiles/fish/functions/tide/configure/choices/lean
..
lean_prompt_height.fish