diff options
author | Drew DeVault <sir@cmpwn.com> | 2018-12-31 12:09:10 -0500 |
---|---|---|
committer | Drew DeVault <sir@cmpwn.com> | 2018-12-31 12:09:10 -0500 |
commit | 3ed6fe9b8e1ee70fadd61538a5e1e847b25a1709 (patch) | |
tree | 6f79f891d7a85e2801c1f5b873219f22a76f4820 | |
parent | acf9751e050d65898660ce87d8c4a9af98bf6e11 (diff) |
Fix shell name in gitsrht-keys
-rwxr-xr-x | gitsrht-keys | 2 |
1 files changed, 1 insertions, 1 deletions
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 " + \ |