Linux + git:用户的配置文件集git命令工具

时间:2017-06-16 20:28:28

标签: linux bash github command-line .bash-profile

我在我的项目中使用GitHub。 那里有一些bash脚本。所有这些都包含:

set -e
set -o pipefail

我的一些团队成员无法运行这些脚本,因为他们没有安装git command line tools,我想是的。上面提到的行会引起错误。

因此,我想自动为其用户的个人资料添加git command line tools

我希望添加类似于:

的内容
echo "source <path_to_git_prompt>" > /etc/profile

应该解决这个问题,但在这种方法中我有很多不喜欢的东西:

  1. 对我来说看起来不安全(用户的个人资料会被某些特定数据修补)
  2. 我需要在用户系统中找到git_prompt和其他git command line tools,这对我来说不行,因为其中一些使用Mint,某人 - Ubuntu,某人 - OS X等
  3. 那么,它是如何管理的?是否有更好的方法来添加工具或者可能将它们安装在一些git hooks等等?

0 个答案:

没有答案