Невозможно определить TEXMFHOME
Мой bashrc:
DOCS_PATH=${HOME}/docs
export TEXMFHOME="${HOME}/.texmf:${DOCS_PATH}/texmf"
У меня есть папка texmf в "docs", я определил TEXMFHOME в моем bashrc, и путь правильный, но когда я перехожу к 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"