首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >拒绝源.bash_profile权限

拒绝源.bash_profile权限
EN

Stack Overflow用户
提问于 2014-08-31 16:42:28
回答 1查看 4.5K关注 0票数 0

小牛

将bin文件夹添加到home

添加到.bash_profile中如下:

export PATH=$PATH;$HOME/bin

换了.bash_profile的主人给我(保罗)

source ~/.bash_profile生成

/Users/paul/.bash_profile:4: permission denied: /Users/paul/bin

ls -la $HOME/bin

代码语言:javascript
复制
 drwxr-xr-x   2 paul  staff    68 Aug 31 08:58 .
 drwxr-xr-x+ 55 paul  staff  1870 Aug 31 09:33 ..

我遗漏了什么?

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2014-08-31 16:50:14

当你写

代码语言:javascript
复制
export PATH=$PATH;$HOME/bin

实际上,您有两个命令export PATH=$PATH (基本上什么都不做),然后是$HOME/bin,它被扩展为/Users/paul/bin,并且由于无法执行目录而导致错误。

可能应该是

代码语言:javascript
复制
export PATH=$PATH:$HOME/bin
 #               ^
 #               + -------- colon (:) instead of semicolon (;)
票数 4
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/25594089

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档