missfonts.log сгенерирован автоматически, желания копировать в консоль построчно с добавлением пути разумеется нет. заморачиваюсь мэйкфайлом потому что удобнее написать
make fonts
чем:
alias mktextfm=/usr/local/texlive/2017/bin/x86_64-linux/mktextfm
chmod +x missfont.log
./missfont.log
rm missfont.log
Надо понимать в мэйкфайлах алиасы принципиально не работают?
Не хочу писать в ~/.bashrc т.к. постоянно этот алиас мне не нужен.
Пользователь добавил сообщение 15 Ноября 2017, 21:13:01:
прописал alias отдельно, проконтролировал командой
alias -p
строчка добавилась. но при попытке запуска missfont.log в консоли:
mktextfm: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1; nonstopmode; input larm2074
This is METAFONT, Version 2.7182818 (TeX Live 2015/Debian) (preloaded base=mf)
т.е. mktextfm из пакета 2015г. всё-таки alias не сработал.
Пользователь добавил сообщение 15 Ноября 2017, 21:22:30:
Код: [Выделить]
sed 's|^mktextfm|/usr/local/texlive/2017/bin/x86_64-linux/mktextfm|' missfont.log | sh
А это прокатило. спасибо!
Это тяжелая артиллерия)) буду разбираться с командой sed