From fcc00b22b74f549ee410c03ca85d716e49bcb195 Mon Sep 17 00:00:00 2001
From: Koen Punt <koen@koenpunt.nl>
Date: Sun, 22 Dec 2013 17:48:10 +0100
Subject: [PATCH] don't make use of pushd and popd as they are not universal

---
 install-gitless.sh | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/install-gitless.sh b/install-gitless.sh
index 6bdede1..2603ad9 100755
--- a/install-gitless.sh
+++ b/install-gitless.sh
@@ -16,20 +16,20 @@ fi
 
 # Downloading to $NVM_DIR
 mkdir -p "$NVM_DIR"
-pushd "$NVM_DIR" > /dev/null
-echo -ne "=> Downloading... "
+echo -e "\r=> Downloading... \c"
 
 # Detect if curl or wget is installed to download NVM_SOURCE
 if type curl > /dev/null 2>&1; then
-  curl --silent "$NVM_SOURCE" -o nvm.sh || fatalExit "Failed downloading $NVM_SOURCE";
+  curl --silent "$NVM_SOURCE" -o "$NVM_DIR/nvm.sh" || fatalExit "Failed downloading $NVM_SOURCE";
 elif type wget > /dev/null 2>&1; then 
-  wget --quiet "$NVM_SOURCE" -O nvm.sh || fatalExit "Failed downloading $NVM_SOURCE";
+  wget --quiet "$NVM_SOURCE" -O "$NVM_DIR/nvm.sh" || fatalExit "Failed downloading $NVM_SOURCE";
 else
   fatalExit "Must have curl or wget to install nvm";
 fi
 
 echo "Downloaded"
-popd > /dev/null
+
+echo
 
 # Detect profile file, .bash_profile has precedence over .profile
 if [ ! -z "$1" ]; then