我在我的项目中使用GitHub。 那里有一些bash脚本。所有这些都包含:
set -e
set -o pipefail
我的一些团队成员无法运行这些脚本,因为他们没有安装git command line tools
,我想是的。上面提到的行会引起错误。
因此,我想自动为其用户的个人资料添加git command line tools
。
我希望添加类似于:
的内容echo "source <path_to_git_prompt>" > /etc/profile
应该解决这个问题,但在这种方法中我有很多不喜欢的东西:
git_prompt
和其他git command line tools
,这对我来说不行,因为其中一些使用Mint,某人 - Ubuntu,某人 - OS X等那么,它是如何管理的?是否有更好的方法来添加工具或者可能将它们安装在一些git hooks等等?