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

问题描述

问 题

如何为文件夹设置别名呢？
比如$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

请问该如何处理？

解决方案

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

这篇关于shell如何为文件夹设置别名？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！