记一次愚蠢的环境变量设置

echo $#path $path

https://www.zsh.org/mla/users/2015/msg00665.html

问题：在 Ubuntu 上装了个 zsh, 然后设置 PATH 环境变量时，将 $HOME/bin;JAVA_HOME/bin 添加到 PATH 中了：
export PATH="$HOME/bin;$JAVA_HOME/bin:$PATH"
但是并没有生效。

最后发现把冒号写成了分号……
echo $#path $path
$#path 会输出 PATH 中目录个数，$path 会输出每个目录，一检查就能发现
比如 PATH=/a:/b:/c
那么 echo $#path #path 会输出：
3 /a /b /c