From 70cd67658b11b9539ebb3d1becf30da4c2a4adbc Mon Sep 17 00:00:00 2001 From: Julien Moutinho Date: Fri, 13 Mar 2015 15:09:38 +0100 Subject: [PATCH] Ajout : ./git --- git | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100755 git diff --git a/git b/git new file mode 100755 index 0000000..82182ee --- /dev/null +++ b/git @@ -0,0 +1,12 @@ +#!/bin/sh -eu +# DESCRIPTION: Git with gpg:: remote support +# SYNTAX: ./git $git_command +# ENVIRONMENT: +# $TRACE: when non-null: enable verbose trace + +# ACTION: initialize from ./ + tool=$(readlink -e "${0%/*}"/.) +# ACTION: run git(1) with git-remote-gpg(1) in $PATH + PATH="$tool"/.../lib/tool/git/remote/gpg:"$PATH" \ + GRG_keys="@julm@heureux-cyclage.org,@ludovic.chevalier@heureux-cyclage.org" \ + git "$@" -- 2.20.1