From 5596ec057557d68b9a6e00911c0c151c71c6e0a8 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Wed, 21 Apr 2021 21:33:39 -0400
Subject: [PATCH] gpg.sh: new file with a fix for busted GPG-over-SSH.

---
 gpg.sh   | 3 +++
 makefile | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)
 create mode 100644 gpg.sh

diff --git a/gpg.sh b/gpg.sh
new file mode 100644
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 a6cc7d4..7248e3b 100644
--- 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) > $@
-- 
2.43.2