Не может определить TEXMFHOME
мой bashrc:
DOCS_PATH=${HOME}/docs
export TEXMFHOME="${HOME}/.texmf:${DOCS_PATH}/texmf"
У меня есть texmf папка в "документах", я определил TEXMFHOME в своем bashrc, и путь корректен, но когда я CD к TEXMFHOME я получаю эту ошибку:
cd $TEXMFHOME
bash: cd: /home/user/.texmf:/home/user/docs/texmf: File or directory not found
Я пропускаю что-то?
1
задан Rinzwind
6 August 2018 в 12:01
поделиться
1 ответ
Это
DOCS_PATH=${HOME}/docs
export TEXMFHOME="${HOME}/.texmf:${DOCS_PATH}/texmf"
добавляет ${HOME} дважды к TEXMFHOME. Вы уверены, что это не должно быть
export TEXMFHOME="${HOME}/.texmf/texmf"
0
ответ дан dessert
6 August 2018 в 12:01
поделиться