Как избежать дублирования переменной пути в csh

Question

Обычно в вашем файле cshrc есть что-то подобное для установки пути:

set path = ( . $otherpath $path )

но путь дублируется при многократном использовании исходного файла cshrc. Как предотвратить дублирование?

РЕДАКТИРОВАТЬ: Это один нечистый способ сделать это:

set localpaths = ( . $otherpaths )
echo ${path} | egrep -i "$localpaths" >& /dev/null
if ($status != 0) then
    set path = ( . $otherpaths $path )
endif

Answer 1

Я всегда устанавливаю свой путь с нуля в .cshrc. То есть я начинаю с базового пути, что-то вроде:

set path = (. ~/bin /bin /usr/bin /usr/ucb /usr/bin/X11)

(в зависимости от системы).

А затем сделайте:

set path = ($otherPath $path)

чтобы добавить больше вещей