echo $HOME将只打印/home/user。但是在我的系统中,/home不是在/下挂载的,也不是它自己的分区。ext4 defaults 1 2# bind mount /home to directory to a directory on /linux_data
/mnt/linux_data/01_centos
/home/abcdef/Desktop/jikesrvm/dist/prototype_x86_64-linux/rvmbash: ./home/abcdef/Desktop/jikesrvm/dist/production_x86_64-linux/rvm: No such file or directory
rvm是一个bash文件,当我尝试从它自己的文件夹(production_