Вместо сценария оболочки для такого рода операций больше подходит функция, особенно при использовании pushd.
Добавьте это в.bashrc
:
foo() {
pushd $1
time
}
export foo
В оболочке:
$ foo mydir1
выход:
~/mydir1 ~
real 0m0.000s
user 0m0.000s
sys 0m0.000s
Учитывая, что ваша справочная страница создается из других «исходных файлов», я бы вообще не стал хранить ее в репозитории — по моему опыту, в репозитории с исходным кодом лучше всего хранить только те файлы, которые вы действительно хотите изменять напрямую, а не сгенерированные файлы.
Если вы хотите сохранить его (, например, чтобы не требовать help2man
при сборке ), поскольку у вас нет структуры каталогов, можно хранить его вместе с остальными исходными файлами. Предлагаемая вами схема именования <command_name>.<section_number>
хороша.