zsh - 如何从 Zsh 中的 $PATH 中删除路径并将其添加到开头而不重复？

Question

我有:

PATH=/bar:/foo

我想要:

PATH=/foo:/bar

我不想要:

PATH=/foo:/bar:foo

所以我在想，给定默认路径是 PATH=/bar，我可以修改 $path(即 $PATH作为关联数组):

function prepend_to_path() {
  unset $path[(r)$1]
  path=($1 $path)
}

prepend_to_path /foo

但这提示:

prepend_to_path:unset:1: not enough arguments

已经太久了，我什至不记得 (r) 是干什么用的，但是没有它 (unset $path[$1]) 我得到:

prepend_to_path:1: bad math expression: operand expected at `/home/nerd...'

我做错了什么？

Answer 1

您可以将函数的主体替换为:

path=($1 ${(@)path:#$1})

相关答案:https://stackoverflow.com/a/3435429/1107999