From 349dfb9826949b5f9c0551879c5993b262b5ea38 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 | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/install-gitless.sh b/install-gitless.sh
index 2300734..81eda31 100755
--- a/install-gitless.sh
+++ b/install-gitless.sh
@@ -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