shell如何为文件夹设置别名?

justPassBy
  • 572

如何为文件夹设置别名呢?
比如$HOME 其实就是用户目录。
我在.bash_profile下使用export $c_workspace ~/Documents/c_workspace
source .bash_profile后。
使用 cd $c_workspace 命令
出现以下的提示
cd: no such file or directory: /Users/litten/Documents/c_workspace

请问该如何处理?

回复
阅读 3.3k
1 个回答
araraloren
  • 3.5k
✓ 已被采纳

是这样子export c_workspace=~/Documents/c_workspace
这其实相当于一个全局的变量。。

撰写回答
你尚未登录,登录后可以
  • 和开发者交流问题的细节
  • 关注并接收问题和回答的更新提醒
  • 参与内容的编辑和改进,让解决方法与时俱进
宣传栏