我的.bashrc:
DOCS_PATH=${HOME}/docs
export TEXMFHOME="${HOME}/.texmf:${DOCS_PATH}/texmf"
我在“docs”中有一个 texmf 文件夹,我已经在 bashrc 中定义了 TEXMFHOME,并且路径是正确的,但是当我 cd 到 TEXMFHOME 时出现此错误:
cd $TEXMFHOME
bash: cd: /home/user/.texmf:/home/user/docs/texmf: File or directory not found
我是否遗漏了什么?
答案1
这
DOCS_PATH=${HOME}/docs
export TEXMFHOME="${HOME}/.texmf:${DOCS_PATH}/texmf"
${HOME}
两次添加到TEXMFHOME
。你确定不应该是
export TEXMFHOME="${HOME}/.texmf/texmf"