zshlibs/tools/zshlibs_path_add

10 lines
186 B
Plaintext
Raw Normal View History

2024-01-18 15:21:01 +00:00
function zshlibs_path_add()
{
local pathtoadd="${1}"
zshlibs_log $0 "adding path '$pathtoadd' to \$PATH"
if [[ ! ${path[(r)${pathtoadd}]} ]]
then
path+=(${pathtoadd})
fi
}