From 87570740e24a5d96d5d2935bd7c4a02e437f7780 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 31 Jan 2015 17:41:50 -0800 Subject: [PATCH] feat(bin/leanemacs): allow user to provide arguments (e.g., .lean files) to leanemacs script --- bin/leanemacs.in | 2 +- bin/test_leanemacs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/leanemacs.in b/bin/leanemacs.in index 52a437005..3238b9a7a 100644 --- a/bin/leanemacs.in +++ b/bin/leanemacs.in @@ -5,4 +5,4 @@ MY_PATH="`( cd \"$MY_PATH\" && pwd )`" # absolutized and normalized export LEAN_ROOTDIR="$MY_PATH/.." export LEAN_EMACS_PATH="$MY_PATH/../@EMACS_LISP_DIR@" -emacs -load $LEAN_EMACS_PATH/load-lean.el +emacs -load $LEAN_EMACS_PATH/load-lean.el $* diff --git a/bin/test_leanemacs b/bin/test_leanemacs index 413fda927..448cc3d96 100755 --- a/bin/test_leanemacs +++ b/bin/test_leanemacs @@ -6,4 +6,4 @@ MY_PATH="`( cd \"$MY_PATH\" && pwd )`" # absolutized and normalized export LEAN_ROOTDIR="$MY_PATH/.." export LEAN_EMACS_PATH="$MY_PATH/../src/emacs" -emacs -load $LEAN_EMACS_PATH/load-lean.el -debug-init +emacs -load $LEAN_EMACS_PATH/load-lean.el -debug-init $*