diff options
| author | Andrew Scheller <github@loowis.durge.org> | 2014-04-14 22:26:34 +0100 |
|---|---|---|
| committer | Andrew Scheller <github@loowis.durge.org> | 2014-04-14 22:26:34 +0100 |
| commit | 6fc40cc3da69d1d463d26393309ea22973933008 (patch) | |
| tree | 900e317f885c98ff25b3fc4ac12610767c37a02e /tools | |
| parent | 5224705248148894cd0935f9e286c1060e3d6d11 (diff) | |
| download | micropython-6fc40cc3da69d1d463d26393309ea22973933008.tar.gz micropython-6fc40cc3da69d1d463d26393309ea22973933008.zip | |
pip-micropython: revert $HOME back to ~
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/pip-micropython | 6 |
1 files 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=." \ |