From 8c0f01ac34652e6fb7b5e51f4f4ea9e9c41110fc Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Wed, 8 Oct 2014 10:41:52 -0700 Subject: [PATCH] doc(emacs/README.md): do package-refresh-contents only once Close #233 --- src/emacs/README.md | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/src/emacs/README.md b/src/emacs/README.md index 72f0b59fb5..d0381c2797 100644 --- a/src/emacs/README.md +++ b/src/emacs/README.md @@ -49,15 +49,18 @@ Put the following elisp code on your emacs setup (e.g. ``.emacs.d/init.el``): (add-to-list 'package-archives '("melpa" . "http://melpa.milkbox.net/packages/") t) (package-initialize) -(package-refresh-contents) ;; Install required/optional packages for lean-mode (defvar lean-mode-required-packages '(company dash dash-functional flycheck whitespace-cleanup-mode f fill-column-indicator s lua-mode mmm-mode)) -(dolist (p lean-mode-required-packages) - (when (not (package-installed-p p)) - (package-install p))) +(let ((need-to-refresh t)) + (dolist (p lean-mode-required-packages) + (when (not (package-installed-p p)) + (when need-to-refresh + (package-refresh-contents) + (set need-to-refresh nil)) + (package-install p)))) ;; Set up lean-root path (setq lean-rootdir "~/projects/lean")