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

Типично иметь что-то подобное в вашем файле 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

Ответы на вопрос(11)

Ваш ответ на вопрос