gitoria

5.5 KB

1. // components/codebrowser.hl — THE CODE BROWSER (ticket #9, gitoria#16), composed into the three code pages:
2. // code.hl (/code, /code/<path>: the main branch), branch.hl (/branch/<name>[/<path>]), commit.hl
3. // (/commit/<id>[/<path>]); `kind` ('code' | 'branch' | 'commit') and `rest` (the part after /<kind>/) come from the
4. // page. Rendered on the SERVER with its content: the repo from the request's host, the tree / file / branches /
5. // commits from git (git.hl browseNow — hl:proc run() waits, hybriel#80) — in the first HTML and in every hl:web navigation.
6. import { repoAt, repoBySlug, setMainBranch, ownsRepo } from '../repos.hl'
7. import { browseNow, branchNames } from '../git.hl'
8. import { withRefParts } from '../tickets.hl'
9. import { slugOfHost, userOfSession } from '../users.hl'
11. host = null
12. session = null
13. kind = 'code'
14. rest = ''
15. slug = slugOfHost(host)
16. repo = repoAt(slug)
17. hasRepo = repo != null
18. codeData = repo != null ? withRefParts(browseNow(slug, kind, rest, repo.branch, ownsRepo(slug, session)), repo.ticketsProject) : null
19. codeShown = codeData != null && !codeData.isMessage
20. codeMessage = codeData != null && codeData.isMessage
21. codeText = codeData != null && codeData.isMessage ? codeData.message : ''
22. codeError = ''
24. View {
25. codeView {
26. if (hasRepo) {
27. if (codeMessage) { p { id = "codemessage" class = "empty" codeText } }
28. if (codeShown) {
29. codeBrowser {
30. codeHead {
31. span { id = "codekind" class = "muted" codeData.kindLabel }
32. strong { id = "coderef" codeData.refLabel }
33. latestCommit {
34. a { id = "commitlink" href = codeData.commitHref codeData.short }
35. span { id = "commitsubject" for (pt of codeData.subjectParts) { if (pt.isText) { span { pt.text } } if (pt.isLink) { a { class = "ticketref" href = pt.href pt.text } } } }
36. span { class = "muted" codeData.author }
37. time { codeData.date }
38. }
39. }
40. pathCrumbs { id = "crumbs"
41. for (c of codeData.crumbs) {
42. if (c.linked) { a { href = c.href c.name } span { class = "muted" "/" } }
43. if (c.last) { strong { c.name } }
44. }
45. }
46. if (codeData.isTree) {
47. if (codeData.noEntries) { p { id = "noentries" class = "empty" "This folder is empty." } }
48. ul { id = "entries"
49. for (e of codeData.entries) {
50. li {
51. if (e.isDir) { a { class = "dir" href = e.href e.name } }
52. if (e.isFile) { a { class = "file" href = e.href e.name } }
53. if (e.isOther) { span { class = "file" e.name } }
54. span { class = "muted" e.size }
55. }
56. }
57. }
58. }
59. if (codeData.isFile) {
60. codeFile { id = "codefile"
61. p { class = "muted" codeData.fileSize }
62. if (codeData.binary) { p { id = "binary" class = "empty" "This file is not text (or not UTF-8) — not shown." } }
63. if (codeData.tooBig) { p { id = "toobig" class = "empty" "This file is too large to show here." } }
64. ol { id = "lines"
65. for (ln of codeData.lines) { li { code { ln.text } } }
66. }
67. if (codeData.truncated) { p { id = "linestruncated" class = "muted" "Only the first lines are shown." } }
68. }
69. }
70. codeSide {
71. section { id = "branches"
72. h2 { "Branches" }
73. ul {
74. for (b of codeData.branches) {
75. li {
76. if (b.isCurrent) { strong { b.name } }
77. if (b.notCurrent) { a { href = b.href b.name } }
78. if (b.isDefault) { span { class = "muted" "main branch" } }
79. if (b.canSet) { button { class = "quiet setmain" type = "button" value = b.name "Make main" on click(e) { emit setMain(e.target.value) } } }
80. }
81. }
82. }
83. p { id = "codeerror" class = "message" codeError }
84. }
85. section { id = "commits"
86. h2 { "Latest commits" }
87. ul {
88. for (c of codeData.commits) {
89. li {
90. a { href = c.href c.short }
91. span { for (pt of c.parts) { if (pt.isText) { span { pt.text } } if (pt.isLink) { a { class = "ticketref" href = pt.href pt.text } } } }
92. span { class = "muted" c.author }
93. time { c.date }
94. }
95. }
96. }
97. }
98. }
99. }
100. }
101. }
102. }
103. }
105. // "Make main" (the owner): the face answers with the same view, read again with the new main branch
106. on setMain(name) {
107. codeError = ''
108. let r = emit server gitoriaSetBranch(slug, name, kind, rest)
109. if (r == null || r.error != null) {
110. codeError = r != null ? r.error : 'could not change the main branch'
111. return null
112. }
113. codeData = r.result
114. codeShown = !r.result.isMessage
115. codeMessage = r.result.isMessage
116. codeText = r.result.isMessage ? r.result.message : ''
117. }
119. on server gitoriaSetBranch(slugOf, name, kindOf, restOf, session) {
120. if (session == null || repoAt(slugOf) == null) { return { error = 'could not change the main branch' } }
121. if (kindOf != 'code' && kindOf != 'branch' && kindOf != 'commit') { return { error = 'could not change the main branch' } }
122. if (restOf == null || hlTypeName(restOf) != 'String' || restOf.length > 500 || name == null || hlTypeName(name) != 'String') { return { error = 'could not change the main branch' } }
123. let u = userOfSession(session)
124. if (u == null || !ownsRepo(slugOf, session)) { return { error = 'only the owner can change the main branch' } }
125. let known = []
126. branchNames(slugOf, (names) => {
127. known = names
128. return null
129. })
130. if (!known.includes(name)) { return { error = 'no such branch' } }
131. let r = setMainBranch(u.id, slugOf, name)
132. if (r.error != null) { return { error = r.error } }
133. return { result = withRefParts(browseNow(slugOf, kindOf, restOf, name, true), repoAt(slugOf).ticketsProject) }
134. }