diff options
author | Ryan Chan <ryanchanwo@gmail.com> | 2019-02-12 12:35:48 +0000 |
---|---|---|
committer | Drew DeVault <sir@cmpwn.com> | 2019-02-12 09:44:47 -0500 |
commit | 3c48d415c21184f7bc1cb58d5912957a5f1bf7f1 (patch) | |
tree | bafa694f3c8bd5292446aa719eee8a3720b71a06 | |
parent | 3341103722219181740a129d5e88b3bb160cd33c (diff) |
Fix shell invocation in mansrht-keys
mansrht-keys uses the mansrht-shell script in the same directory in
order to invoke Git commands, the script changed name at some point but
the command wasn't updated.
-rwxr-xr-x | mansrht-keys | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mansrht-keys b/mansrht-keys index 460f3c9..56a8891 100755 --- a/mansrht-keys +++ b/mansrht-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]), "man-srht-shell") +default_shell = os.path.join(os.path.dirname(sys.argv[0]), "mansrht-shell") shell = cfg("man.sr.ht", "shell", default=default_shell) keys = "command=\"{} '{}' '{}'\",".format(shell, u.id, b64key) + \ "no-port-forwarding,no-X11-forwarding,no-agent-forwarding,no-pty " + \ |