diff --git a/bin/test_leanemacs b/bin/test_leanemacs
new file mode 100755
index 0000000000..413fda927d
--- /dev/null
+++ b/bin/test_leanemacs
@@ -0,0 +1,9 @@
+#!/usr/bin/env bash
+# Script for testing load-lean.el without installing Lean
+MY_PATH="`dirname \"$0\"`"              # relative
+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