Правильные пути

Всем привет.

Смотрю я на /etc/profile
# Append our default paths
appendpath () {
    case ":$PATH:" in
        *:"$1":*)
            ;;
        *)
            PATH="${PATH:+$PATH:}$1"
    esac
}

appendpath '/usr/local/sbin'
appendpath '/usr/local/bin'
appendpath '/usr/bin'
unset appendpath

export PATH
и на свой ~/.bash_profile
# Set PATH so it includes user's private bin if they exists.
# Having . in the PATH is dangerous.
if [ -d "$HOME/bin" ]; then
    PATH="$HOME/bin:$PATH"
fi
и думаю: а в чем фишка appendpath?
appendpath = добавить путь.
В первом случае добавляются пути для системных исполняемых файлов
Во-втором- для конкретного пользователя.
И вопрос-то в чем?))
Что добавить путь, это понятно. )) Вопрос в том, что более правильным для конкретного пользователя будет теперь использовать appendpath для добавления своих путей? Или без разницы? )
Вы же видите, что appendpath - это shell-функция, объявленная в начале /etc/profile.
Во-первых, она делает немного больше, чем просто добавляет - она еще и проверяет, есть ли в этом необходимость.
А во-вторых, чтобы ее использовать в ~/.bash_profile, вам ее еще нужно и объявить самому.
А стоит ли оно этих телодвижений - решать вам.
Интересно, если у пользователя zsh читается ли ~/.bash_profile при старте?
Неа, у него там свои ~/.zshrc и ~/.zprofile, как минимум, должны быть.
Если их нет, считываются /etc/zshenv, /etc/zprofile, /etc/zshrc, /etc/zlogin, /etc/zlogout.
 
Зарегистрироваться или войдите чтобы оставить сообщение.