gitoria

3.2 KB

1. // components/list.hl — THE REPO LIST of the main address (ticket #6, gitoria#16): every repository, newest
2. // first, and "Create a repository" (slug = its address, unique in the whole system) for a named user.
3. // Composed into components/index.hl (route `/`) when the request's host is the main address. Rendered on
4. // the server with its rows; a new repo from any session reaches every open list (push `repoCreated`).
5. import Tokens from './tokens.hl'
6. import SshKeys from './sshkeys.hl'
7. import { repoRows, createRepo } from '../lib/repos.hl'
8. import { infoOfSession, userOfSession } from '../lib/users.hl'
10. session = null
11. me = infoOfSession(session)
12. canCreate = me != null && me.named
13. needsLogin = me == null
14. repos = repoRows()
15. noRepos = repos.length == 0
16. createError = ''
17. createdText = ''
18. createdHref = ''
19. hasCreated = false
21. View {
22. repoList {
23. h1 { id = "heading" "Repositories" }
24. if (needsLogin) { p { id = "loginhint" class = "muted" "Log in with ident (top right) to create a repository." } }
25. if (canCreate) {
26. form { id = "createform"
27. on submit(e) {
28. e.preventDefault()
29. emit createIt(e)
30. }
31. h2 { "Create a repository" }
32. label { "Address — its name is unique in the whole system and becomes NAME.gitoria.worldapi.org"
33. input { id = "slug" name = "slug" required = "required" minlength = "2" maxlength = "40" autocomplete = "off" autocapitalize = "none" spellcheck = "false" }
34. }
35. label { "Description (optional)"
36. input { id = "description" name = "description" maxlength = "200" autocomplete = "off" }
37. }
38. button { id = "createsave" type = "submit" "Create repository" }
39. p { id = "createerror" class = "message" createError }
40. }
41. }
42. if (hasCreated) { p { id = "created" class = "notice" createdText " " a { id = "createdlink" href = createdHref "Open it" } } }
43. if (noRepos) { p { id = "empty" class = "empty" "No repository yet." } }
44. Tokens { }
45. SshKeys { }
46. ol { id = "repos"
47. for (r of repos) {
48. li {
49. a { class = "slug" href = r.address r.slug }
50. if (r.described) { span { class = "about" r.description } }
51. repoMeta { span { r.owner } time { r.created } }
52. }
53. }
54. }
55. }
56. }
58. on createIt(e) {
59. f = e.target.elements
60. r = emit server gitoriaCreate(f.slug.value, f.description.value)
61. if (r == null || r.error != null) {
62. createError = r != null ? r.error : 'could not create the repository'
63. return null
64. }
65. createError = ''
66. f.slug.value = ''
67. f.description.value = ''
68. createdText = "Created '" + r.repo.slug + "': "
69. createdHref = r.repo.address
70. hasCreated = true
71. }
73. // this session's tabs follow a login / name / logout (the shell's faces push them)
74. on client gitoriaSignedIn(tag, info) {
75. canCreate = info.named
76. needsLogin = false
77. }
78. on client gitoriaSignedOut(tag) {
79. canCreate = false
80. needsLogin = true
81. }
83. // a new repo, from any session: the list follows live
84. on client repoCreated(row) {
85. next = [row]
86. for (x of repos) { if (x.id != row.id) { next.push(x) } }
87. repos = next
88. noRepos = false
89. }
91. on server gitoriaCreate(slug, description, session) {
92. u = userOfSession(session)
93. if (u == null) { return { error = 'log in with ident (top right) to create a repository' } }
94. r = createRepo(u.id, slug, description)
95. if (r.error != null) { return { error = r.error } }
96. emit client repoCreated(r.repo)
97. return r
98. }