don't make use of pushd and popd as they are not universal

This commit is contained in:
Koen Punt 2013-12-22 17:48:10 +01:00
parent 0774058cf1
commit 349dfb9826

View File

@ -12,13 +12,13 @@ fi
# Downloading to $NVM_DIR
mkdir -p "$NVM_DIR"
pushd "$NVM_DIR" > /dev/null
echo -ne "=> Downloading... "
curl --silent "$NVM_SOURCE" -o nvm.sh || {
echo -e "\r=> Downloading... \c"
curl --silent "$NVM_SOURCE" -o "$NVM_DIR/nvm.sh" || {
echo "Failed downloading $NVM_SOURCE" && exit 1
}
echo "Downloaded"
popd > /dev/null
echo
# Detect profile file, .bash_profile has precedence over .profile
if [ ! -z "$1" ]; then