Ajout : ./git

diff --git a/git b/git
new file mode 100755 (executable)
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 "$@"