From 3ed6fe9b8e1ee70fadd61538a5e1e847b25a1709 Mon Sep 17 00:00:00 2001
From: Drew DeVault <sir@cmpwn.com>
Date: Mon, 31 Dec 2018 12:09:10 -0500
Subject: Fix shell name in gitsrht-keys

---
 gitsrht-keys | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gitsrht-keys b/gitsrht-keys
index e797b8f..e7a5247 100755
--- a/gitsrht-keys
+++ b/gitsrht-keys
@@ -23,7 +23,7 @@ u = User.query.filter(User.username == username).first()
 if not u:
     sys.stderr.write("Unknown user {}\n", username)
     sys.exit(1)
-default_shell = os.path.join(os.path.dirname(sys.argv[0]), "git-srht-shell")
+default_shell = os.path.join(os.path.dirname(sys.argv[0]), "gitsrht-shell")
 shell = cfg("git.sr.ht", "shell", default=default_shell)
 keys = "command=\"{} '{}' '{}'\",".format(shell, u.id, b64key) + \
     "no-port-forwarding,no-X11-forwarding,no-agent-forwarding,no-pty " + \
-- 
cgit v1.2.3