From 54ee157fa953806071cb70c2a3cbacf0c00be213 Mon Sep 17 00:00:00 2001 From: Scott Morrison Date: Mon, 2 Jan 2017 22:58:15 +1100 Subject: [PATCH] fix(emacs): bug in suggested Emacs init The original code set the variable `lean-required-packages`, but then expected `lean-mode-required-packages`. I've also added a hint about where to find your emacs init file; this was something I had to learn to follow these instructions. A question for follow-up: the requirements sections states that `fill-column-indicator` is a dependency, but the suggested init file does not attempt to install this. Should this be fixed? --- src/emacs/README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/emacs/README.md b/src/emacs/README.md index 3f07218c06..6720e24ccb 100644 --- a/src/emacs/README.md +++ b/src/emacs/README.md @@ -65,13 +65,13 @@ Installation ============ You can also include lean-mode permanently in your emacs init file. In this -case, just put the following code in your Emacs init file: +case, just put the following code in your Emacs init file (typically `~/.emacs.d/init.el`): ```elisp ;; You need to modify the following two lines: (setq lean-rootdir "~/projects/lean") (setq lean-emacs-path "~/projects/lean/src/emacs") -(setq lean-required-packages '(company dash dash-functional f +(setq lean-mode-required-packages '(company dash dash-functional f flycheck let-alist s seq)) (require 'package)