Skip to content

Commit

Permalink
Update install.sh (#22)
Browse files Browse the repository at this point in the history
  • Loading branch information
K0R7 authored Dec 25, 2023
1 parent ad8a2e5 commit 90f3f4e
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion _site/install.sh
Original file line number Diff line number Diff line change
Expand Up @@ -217,7 +217,7 @@ update_profile() {
return 1
else
if ! command grep -qc 'WASMTIME_HOME' "$detected_profile"; then
command printf "$path_str" >> "$detected_profile"
command printf "$path_str\n" >> "$detected_profile"
else
warning "Your profile ($detected_profile) already mentions Wasmtime and has not been changed."
fi
Expand Down
2 changes: 1 addition & 1 deletion install.sh
Original file line number Diff line number Diff line change
Expand Up @@ -217,7 +217,7 @@ update_profile() {
return 1
else
if ! command grep -qc 'WASMTIME_HOME' "$detected_profile"; then
command printf "$path_str" >> "$detected_profile"
command printf "$path_str\n" >> "$detected_profile"
else
warning "Your profile ($detected_profile) already mentions Wasmtime and has not been changed."
fi
Expand Down

0 comments on commit 90f3f4e

Please sign in to comment.