gitoria

3.9 KB

1. // components/sshkeys.hl — SSH KEYS (gitoria#7): what a developer's git uses to push over SSH (docker/sshd asks sshkeys.hl). On the
2. // main address, for a logged-in user: paste a PUBLIC key with a name, list the own keys (name, fingerprint), remove one. Only shown
3. // when the sshd container is set up (GITORIA_SSH_SECRET). Composed into list.hl (`#sshkeys`).
4. import { infoOfSession, userOfSession } from '../users.hl'
5. import { sshEnabled, keyRows, addKey, revokeKey } from '../sshkeys.hl'
7. session = null
8. me = infoOfSession(session)
9. enabled = sshEnabled
10. shown = enabled && me != null
11. myUser = userOfSession(session)
12. keyItems = myUser != null && enabled ? keyRows(myUser.id) : []
13. showHead = shown
14. showForm = shown
15. showNone = shown && keyItems.length == 0
16. keyError = ''
17. keyNameText = ''
18. keyText = ''
20. View {
21. sshKeys { id = "sshkeys"
22. if (showHead) { h2 { "SSH keys" } }
23. if (showHead) { p { class = "muted" "To push with git over SSH, add your public key (the .pub file, for example ~/.ssh/id_ed25519.pub). Reading a repository needs no key." } }
24. if (showForm) {
25. form { id = "keyform"
26. on submit(e) {
27. e.preventDefault()
28. emit makeKey(e)
29. }
30. label { "Name (for example the computer it is for)"
31. input { id = "keyname" name = "keyname" required = "required" maxlength = "60" autocomplete = "off" value = keyNameText on input(e) { emit setKeyName(e.target.value) } }
32. }
33. label { "Public key"
34. textarea { id = "keytext" name = "keytext" required = "required" rows = "3" spellcheck = "false" autocomplete = "off" placeholder = "ssh-ed25519 AAAA… you@computer" on input(e) { emit setKeyText(e.target.value) } keyText }
35. }
36. button { id = "keysave" type = "submit" "Add key" }
37. p { id = "keyerror" class = "message" keyError }
38. }
39. }
40. if (showNone) { p { id = "nokeys" class = "muted" "You have no SSH keys yet." } }
41. ol { id = "keylist"
42. for (k of keyItems) {
43. li {
44. span { class = "slug" k.name }
45. code { class = "fingerprint" k.fingerprint }
46. time { k.created }
47. button { class = "quiet removekey" type = "button" value = k.id "Remove" on click(e) { emit removeKey(e.target.value) } }
48. }
49. }
50. }
51. }
52. }
54. // one `if` per element, none inside another (a nested `if` broke the client's repaint on logout)
56. on setKeyName(v) { keyNameText = v }
57. on setKeyText(v) { keyText = v }
59. on makeKey(e) {
60. let r = emit server gitoriaAddKey(keyNameText, keyText)
61. if (r == null || r.error != null) {
62. keyError = r != null ? r.error : 'could not add the key'
63. return null
64. }
65. keyError = ''
66. keyNameText = ''
67. keyText = ''
68. // the face's answer can bring `keyItems` fresh from the server already (hl:web ships a member derived from
69. // `session` in the ack's sync, hybriel 64527baa) — so the new row is put on top ONCE, never twice
70. let next = [r.row]
71. for (x of keyItems) { if (x.id != r.row.id) { next.push(x) } }
72. keyItems = next
73. showNone = shown && keyItems.length == 0
74. }
76. on removeKey(id) {
77. let r = emit server gitoriaRemoveKey(id)
78. if (r == null || r.error != null) {
79. keyError = r != null ? r.error : 'could not remove the key'
80. return null
81. }
82. keyError = ''
83. let next = []
84. for (x of keyItems) { if (x.id != id) { next.push(x) } }
85. keyItems = next
86. showNone = shown && keyItems.length == 0
87. }
89. // a login / logout (the shell's faces push them) shows or hides the section
90. on client gitoriaSignedIn(tag, info) {
91. shown = enabled
92. showHead = shown
93. showForm = shown
94. showNone = shown && keyItems.length == 0
95. }
96. on client gitoriaSignedOut(tag) {
97. shown = false
98. keyItems = []
99. showHead = false
100. showForm = false
101. showNone = false
102. }
104. on server gitoriaAddKey(name, text, session) {
105. if (!sshEnabled) { return { error = 'SSH is not set up on this server' } }
106. let u = userOfSession(session)
107. if (u == null) { return { error = 'log in with ident (top right) first' } }
108. return addKey(u.id, name, text)
109. }
111. on server gitoriaRemoveKey(id, session) {
112. let u = userOfSession(session)
113. if (u == null) { return { error = 'log in with ident (top right) first' } }
114. return revokeKey(u.id, id)
115. }