В 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() . В этом случае это правильный ответ.
