Skip to content

Commit

Permalink
read into reply
Browse files Browse the repository at this point in the history
  • Loading branch information
raphaeltm committed Feb 2, 2024
1 parent 58ef16a commit 8bb8da1
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/bin/install.sh
Original file line number Diff line number Diff line change
Expand Up @@ -145,7 +145,7 @@ if [[ ":$PATH:" != *":$INSTALL_DIR:"* ]]; then
FOUND_PROFILE_FILE=true
# Prompt the user for confirmation
echo -n "Can we append the necessary line to $HOME/$profile_file? (y/n) "
read -n 1 -r
read REPLY
echo # move to a new line
if [[ $REPLY =~ ^[Yy]$ ]]; then
# Append the line to the profile file
Expand All @@ -160,7 +160,7 @@ if [[ ":$PATH:" != *":$INSTALL_DIR:"* ]]; then
CURRENT_SHELL=$(basename "$SHELL")
# Prompt the user to create a new profile file
echo -n "No existing profile file found. Would you like to create a .$CURRENT_SHELL"rc" file? (y/n) "
read -n 1 -r
read REPLY
echo # move to a new line
if [[ $REPLY =~ ^[Yy]$ ]]; then
# Create the new profile file and append the line
Expand Down

0 comments on commit 8bb8da1

Please sign in to comment.