Linux——关于执行文件路径的变量（$PATH）