link管理
链接快照平台
- 输入网页链接，自动生成快照
- 标签化管理网页链接
/bin/sh: pushd:未找到
问
/bin/sh: pushd:未找到
EN
EN
Stack Overflow用户
提问于
2011-03-04 19:20:16
回答 7
查看 131K
关注 0
票数 111
我在make文件中执行以下操作
代码语言：
javascript
复制
pushd %dir_name%我得到了下面的错误
代码语言：
javascript
复制
/bin/sh : pushd : not found有人能告诉我为什么会出现这个错误吗？我检查了我的$PATH变量，它包含/bin，所以我不认为这会导致问题。
EN
回答 7
Stack Overflow用户
发布于 2011-03-04 19:26:08
这是因为pushd是bash中的一个内置函数。因此它与PATH变量无关，而且/bin/sh ( make默认使用它)也不支持它。您可以通过设置SHELL来更改它(尽管它不会直接工作(test1))。
相反，您可以通过
bash -c "..."
运行所有命令。这将使命令(包括pushd/popd )在bash环境(test2)中运行。
代码语言：
javascript
复制
SHELL = /bin/bash
test1:
@echo before
@pushd /tmp
@echo in /tmp
@popd
@echo after
test2:
@/bin/bash -c "echo before;\
pwd; \
pushd /tmp; \
echo in /tmp; \
pwd; \
popd; \
echo after; \
pwd;"当运行make test1和make test2时，它提供了以下内容：
代码语言：
javascript
复制
prompt>make test1
before
/download/2011/03_mar
make: pushd: Command not found
make: *** [test1] Error 127
prompt>make test2
before
/download/2011/03_mar
/tmp /download/2011/03_mar
推荐文章