【发布时间】:2015-03-17 04:50:41
【问题描述】:
我正在寻找一个 shell 内置函数或一个 shell 命令,当路径看起来像时“计算”有效目录路径
TOMCAT_HOME=/var/lib/tomcat7/webapps/ROOT/WEB-INF/../..
结果很明显
/var/lib/tomcat7
我做了一个
pushd dirname $0
cd ${TOMCAT_HOME}
pwd
popd
这给了我想要的东西,但肯定有更简单的方法,我现在想不出
【问题讨论】:
标签: shell path directory editing