Merge pull request #6032 from dantengsky/feat-dev-setup-jdk

fix: add_profile should return 0 even if no items found in `~/.profile`
databendlabs · Jun 16, 2022 · 8247768 · 8247768
2 parents 20d731e + 75e5777
commit 8247768
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/setup/dev_setup.sh b/scripts/setup/dev_setup.sh
@@ -10,7 +10,7 @@ cd "$SCRIPT_PATH/../.." || exit
 
 function add_to_profile {
 	eval "$1"
-	FOUND=$(grep -c "$1" <"${HOME}/.profile")
+	FOUND=$(grep -c "$1" "${HOME}/.profile" || true)
 	if [ "$FOUND" == "0" ]; then
 		echo "$1" >>"${HOME}"/.profile
 	fi