diff --git a/scripts/update_path.sh b/scripts/update_path.sh index 81b100e22..796a8061f 100644 --- a/scripts/update_path.sh +++ b/scripts/update_path.sh @@ -1,19 +1,19 @@ #!/bin/bash # Get the current shell name -current_shell="$(basename ${builtins.getEnv "SHELL"})" +current_shell="$(basename "$SHELL")" # Update the corresponding configuration file based on the current shell if [[ "$current_shell" == "bash" ]]; then - cat >> "${builtins.getEnv "HOME"}/.bashrc" <> "${HOME}/.bashrc" <> "${builtins.getEnv "HOME"}/.zshrc" <> "${HOME}/.zshrc" <