From 6fc40cc3da69d1d463d26393309ea22973933008 Mon Sep 17 00:00:00 2001 From: Andrew Scheller Date: Mon, 14 Apr 2014 22:26:34 +0100 Subject: [PATCH] pip-micropython: revert $HOME back to ~ --- tools/pip-micropython | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tools/pip-micropython b/tools/pip-micropython index b4fad90865..3d3681198c 100755 --- a/tools/pip-micropython +++ b/tools/pip-micropython @@ -25,7 +25,7 @@ elif [ -n "$MICROPYPATH" ]; then echo "Destination library directory: $libdest" else echo "Warning: MICROPYPATH is not set, assuming default value" - libdest=$HOME/.micropython/lib + libdest=~/.micropython/lib echo "Destination library directory: $libdest" fi @@ -71,9 +71,9 @@ pip install "$@" \ --install-option="--root=$dest" else # Here we assume that base dir is lib dir, and install scripts a level -# higher. For default value of $HOME/.micropython/lib/ , this should give +# higher. For default value of ~/.micropython/lib/ , this should give # reasonable behavior, though better would make it overridable (or -# go bold and use $HOME/bin ?) +# go bold and use ~/bin ?) pip install "$@" \ --install-option="--install-base=." \ --install-option="--install-purelib=." \