В bash общей функцией, реализованной, например, в /etc /bashrc, является pathmunge()
, которая добавляет или добавляет путь к PATH
если он еще не указан среди элементов в PATH
.
Пример:
$ echo $PATH
/bin:/usr/bin
$ pathmunge /home/me/bin
$ echo $PATH
/home/me/bin:/bin:/usr/bin
$ pathmunge /home/me/bin
$ echo $PATH
/home/me/bin:/bin:/usr/bin
Наивный способ добавить путь будет следующим:
$ echo $PATH
/bin:/usr/bin
$ PATH=/home/me/bin:$PATH
$ echo $PATH
/home/me/bin:/bin:/usr/bin
$ PATH=/home/me/bin:$PATH
$ echo $PATH
/home/me/bin:/home/me/bin:/bin:/usr/bin
Я очень мало знаю о csh, и я просто хочу сделать эту простую вещь: добавить путь в список, если его там еще нет. Я знаю, что csh использует path
а не PATH
и это правильный массив csh.
Возможно, в csh есть какая-то функция массива, например if !(foobar in $path) then blah
что делает ненужной функцию вроде pathmunge()
. В этом случае это правильный ответ.