From c5223d2d1967aab18afd970ff2ec2a634aa2a41c Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Fri, 18 Dec 2015 14:28:54 -0500 Subject: [PATCH] fix(emacs/load-lean.el): proceed even if logo image is not created On OSX + emacs-24.5, pgm file is not supported in the terminal. This patch ignores the error and does not show the Lean logo if it fails to create one. --- src/emacs/load-lean.el | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/emacs/load-lean.el b/src/emacs/load-lean.el index 32e27f2c5..bdebd777b 100644 --- a/src/emacs/load-lean.el +++ b/src/emacs/load-lean.el @@ -10,7 +10,10 @@ (setq lean-emacs-dependencies-path (format "%s/dependencies" lean-emacs-path)) -(setq lean-logo (create-image (format "%s/lean.pgm" lean-emacs-path))) +(setq lean-logo + (condition-case nil + (create-image (format "%s/lean.pgm" lean-emacs-path)) + (error nil))) (setq lean-required-packages '(company dash dash-functional f fill-column-indicator flycheck let-alist lua-mode mmm-mode s)) (setq load-path @@ -32,7 +35,7 @@ (erase-buffer) (insert "\n\n") (insert " ") - (insert-image lean-logo) + (when lean-logo (insert-image lean-logo)) (setq cpoint (1+ (point))) (insert "\n") (insert "\n\nPlease check our website periodically for news of later versions")