gpg.sh: new file with a fix for busted GPG-over-SSH.

diff --git a/gpg.sh b/gpg.sh
new file mode 100644 (file)
index 0000000..ea6e1c4
--- /dev/null
+++ b/gpg.sh
@@ -0,0 +1,3 @@
+# For some reason this is required for pinentry-tty to work over SSH,
+# particularly when signing git commits.
+export GPG_TTY=$(tty)

diff --git a/makefile b/makefile
index a6cc7d449371fe67c44c23d0a96d27a8d3cc48ff..7248e3b9242b382f39581ca1f7c180cd62a54436 100644 (file)
--- a/makefile
+++ b/makefile
@@ -1,4 +1,4 @@
-SRCS = aliases.sh compilation.sh options.sh sage.sh
+SRCS = aliases.sh compilation.sh gpg.sh options.sh sage.sh
 
 all: $(SRCS)
        cat $(SRCS) > $@