gitoria

3.7 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. let next = [r.row]
69. for (x of keyItems) { next.push(x) }
70. keyItems = next
71. showNone = shown && keyItems.length == 0
72. }
74. on removeKey(id) {
75. let r = emit server gitoriaRemoveKey(id)
76. if (r == null || r.error != null) {
77. keyError = r != null ? r.error : 'could not remove the key'
78. return null
79. }
80. keyError = ''
81. let next = []
82. for (x of keyItems) { if (x.id != id) { next.push(x) } }
83. keyItems = next
84. showNone = shown && keyItems.length == 0
85. }
87. // a login / logout (the shell's faces push them) shows or hides the section
88. on client gitoriaSignedIn(tag, info) {
89. shown = enabled
90. showHead = shown
91. showForm = shown
92. showNone = shown && keyItems.length == 0
93. }
94. on client gitoriaSignedOut(tag) {
95. shown = false
96. keyItems = []
97. showHead = false
98. showForm = false
99. showNone = false
100. }
102. on server gitoriaAddKey(name, text, session) {
103. if (!sshEnabled) { return { error = 'SSH is not set up on this server' } }
104. let u = userOfSession(session)
105. if (u == null) { return { error = 'log in with ident (top right) first' } }
106. return addKey(u.id, name, text)
107. }
109. on server gitoriaRemoveKey(id, session) {
110. let u = userOfSession(session)
111. if (u == null) { return { error = 'log in with ident (top right) first' } }
112. return revokeKey(u.id, id)
113. }