Терминальные регистрационные псевдонимы [dубликаты]
После установки и обновления apt-файла (sudo apt-get install apt-file; sudo apt-file update) я запустил apt-file search standalone.sty и увидел, что он принадлежит texlive-latex-extra.
Поэтому я просто установил его (sudo apt-get install texlive-latex-extra), и он работал.
3 ответа
Следующее предложение @dessert, использующее скрипт, который включает bashrc в качестве init-file, вот что я сделал:
~ / Document / project1 / bash-wrapper.sh
И определил эту пользовательскую команду в профиле gnome-terminal:
bash --init-file ~/Documents/project1/bash-wrapper.sh
-
1Ого, теперь я получаю удаленные голоса здесь? Серьезно ? Любое объяснение? Это действительно плохой ответ? – Pierre de LESPINAY 12 March 2018 в 14:15
Следующее предложение @dessert, использующее скрипт, который включает bashrc в качестве init-file, вот что я сделал:
~ / Document / project1 / bash-wrapper.sh
#!/bin/bash
PROJECT_PATH=`dirname ${BASH_SOURCE[0]}`
cd $PROJECT_PATH
if [ -f ~/.bashrc ]; then
source ~/.bashrc
fi
source $PROJECT_PATH/ops-setup.sh
И определил эту пользовательскую команду в профиле gnome-terminal:
bash --init-file ~/Documents/project1/bash-wrapper.sh
Следующее предложение @dessert, использующее скрипт, который включает bashrc в качестве init-file, вот что я сделал:
~ / Document / project1 / bash-wrapper.sh
#!/bin/bash
PROJECT_PATH=`dirname ${BASH_SOURCE[0]}`
cd $PROJECT_PATH
if [ -f ~/.bashrc ]; then
source ~/.bashrc
fi
source $PROJECT_PATH/ops-setup.sh
И определил эту пользовательскую команду в профиле gnome-terminal:
bash --init-file ~/Documents/project1/bash-wrapper.sh