zshlibs/tools/zshlibs_path_add
2024-01-18 19:21:01 +04:00

11 lines
187 B
Plaintext

function zshlibs_path_add()
{
local pathtoadd="${1}"
zshlibs_log $0 "adding path '$pathtoadd' to \$PATH"
if [[ ! ${path[(r)${pathtoadd}]} ]]
then
path+=(${pathtoadd})
fi
}