mirror
/
micropython
kopia lustrzana https://github.com/micropython/micropython
1
0
Forkuj 0
Kod Zgłoszenia Projekty Wydania Wiki Aktywność

pip-micropython: revert $HOME back to ~

pull/485/head
Andrew Scheller 2014-04-14 22:26:34 +01:00
rodzic 5224705248
commit 6fc40cc3da
1 zmienionych plików z 3 dodań i 3 usunięć
Pokaż statystyki Ściągnij plik aktualizacji Ściągnij plik porównania Expand all files Collapse all files

6
tools/pip-micropython
Wyświetl plik

@ -25,7 +25,7 @@ elif [ -n "$MICROPYPATH" ]; then
echo "Destination library directory: $libdest" echo "Destination library directory: $libdest"
else else
echo "Warning: MICROPYPATH is not set, assuming default value" echo "Warning: MICROPYPATH is not set, assuming default value"
libdest=$HOME/.micropython/lib libdest=~/.micropython/lib
echo "Destination library directory: $libdest" echo "Destination library directory: $libdest"
fi fi
@ -71,9 +71,9 @@ pip install "$@" \
--install-option="--root=$dest" --install-option="--root=$dest"
else else
# Here we assume that base dir is lib dir, and install scripts a level # 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 # reasonable behavior, though better would make it overridable (or
# go bold and use $HOME/bin ?) # go bold and use ~/bin ?)
pip install "$@" \ pip install "$@" \
--install-option="--install-base=." \ --install-option="--install-base=." \
--install-option="--install-purelib=." \ --install-option="--install-purelib=." \