Install: add to $PATH (#530)

This commit is contained in:
Denis Isidoro 2021-04-19 10:51:24 -03:00 committed by GitHub
parent 7c62a5af7b
commit 1aab69e118
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -215,6 +215,19 @@ get_shell() {
# main
# =====================
export_path_cmd() {
echo
echo ' export PATH="${PATH}:'"$BIN_DIR"'"'
}
append_to_file() {
local -r path="$1"
local -r text="$2"
if [ -f "$path" ]; then
echo "$text" >> "$path"
fi
}
install_navi() {
local -r target="$(get_target)"
@ -245,9 +258,10 @@ install_navi() {
if echo "$PATH" | grep -q "$BIN_DIR"; then
:
else
echoerr
log::note 'Please add the following to your .bashrc-like file:'
echo -e ' export PATH="${PATH}:'"$BIN_DIR"'"\n'
local -r cmd="$(export_path_cmd)"
append_to_file "${HOME}/.bashrc" "$cmd"
append_to_file "${ZDOTDIR:-"$HOME"}/.zshrc" "$cmd"
append_to_file "${HOME}/.fishrc" "$cmd"
fi
log::note "To call navi, restart your shell or reload your .bashrc-like config file"