Merge branch 'master' into feature/remove-public-key-after-destroyed

pingcap · Nov 19, 2020 · bee5964 · bee5964
2 parents f1cc371 + d78a446
commit bee5964
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/install.sh b/install.sh
@@ -68,8 +68,8 @@ echo "Shell profile:  ${bold}$PROFILE${sgr0}"
 
 case :$PATH: in
     *:$bin_dir:*) : "PATH already contains $bin_dir" ;;
-    *) printf 'export PATH=%s:$PATH\n' "$bin_dir" >> "$PROFILE"
-        echo "$PROFILE has been modified to to add tiup to PATH"
+    *) printf '\nexport PATH=%s:$PATH\n' "$bin_dir" >> "$PROFILE"
+        echo "$PROFILE has been modified to add tiup to PATH"
         echo "open a new terminal or ${bold}source ${PROFILE}${sgr0} to use it"
         ;;
 esac