~edwargix/git.sr.ht

3ed6fe9b8e1ee70fadd61538a5e1e847b25a1709 — Drew DeVault 7 years ago acf9751
Fix shell name in gitsrht-keys
1 files changed, 1 insertions(+), 1 deletions(-)

M gitsrht-keys
M gitsrht-keys => gitsrht-keys +1 -1
@@ 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 " + \