From addf55cd781d62a34c2abd78f86aa3cfac8649a6 Mon Sep 17 00:00:00 2001 From: "Heinz N. Gies" Date: Tue, 8 Nov 2011 20:24:40 +0100 Subject: [PATCH] added check for $ORIGINAL_PWD/.lein to exist and choose it over $HOME/.lein as LEIN_HOME. this allows project specific lein installations. --- bin/lein | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/bin/lein b/bin/lein index 91c89e63..21ee2010 100755 --- a/bin/lein +++ b/bin/lein @@ -33,9 +33,16 @@ do done if [ "$LEIN_HOME" = "" ]; then + if [ -d "$ORIGINAL_PWD/.lein" ]; then + echo "Running in project mode." + LEIN_HOME="$ORIGINAL_PWD/.lein" + else LEIN_HOME="$HOME/.lein" + fi + fi + DEV_PLUGINS="$(ls -1 lib/dev/*jar 2> /dev/null)" USER_PLUGINS="$(ls -1 "$LEIN_HOME"/plugins/*jar 2> /dev/null)"