gitoria

3.5 KB

1. // components/repohead.hl — THE HEAD OF EVERY REPO VIEW (gitoria#16): the repo's name, description and the
2. // nav (Readme · Code · Pull requests · Releases · Tickets), or "No such repository". Composed into each repo
3. // page (readme, code, branch, commit, pulls, releases, tickets). The repo comes from the request's host
4. // (`host = null`, hybriel#74) on the SERVER: this is in the first HTML and follows every hl:web navigation.
5. import { repoAt, NL } from '../repos.hl'
6. import { isEmptyNow } from '../git.hl'
7. import { slugOfHost, publicUrl, hostOnly } from '../users.hl'
8. import { sshEnabled, sshUrl } from '../sshkeys.hl'
10. host = null
11. slug = slugOfHost(host)
12. repo = repoAt(slug)
13. hasRepo = repo != null
14. isMissing = repo == null
15. mainHref = publicUrl + '/'
16. // HOW TO ADD CODE (gitoria#7), on every repo page: the clone address and the exact git commands, for a new folder and
17. // for an existing one; open by itself while nothing is pushed yet. The password is an access token (main page).
18. cloneUrl = repo != null ? repo.address + repo.slug + '.git' : ''
19. tokensHref = publicUrl + '/#tokens'
20. sshKeysHref = publicUrl + '/#sshkeys'
21. emptyRepo = repo != null && isEmptyNow(slug)
22. newCommands = 'echo "# ' + slug + '" >> README.md' + NL + 'git init -b main' + NL + 'git add README.md' + NL + 'git commit -m "first commit"' + NL + 'git remote add origin ' + cloneUrl + NL + 'git push -u origin main'
23. existingCommands = 'git remote add origin ' + cloneUrl + NL + 'git branch -M main' + NL + 'git push -u origin main'
24. cloneCommand = 'git clone ' + cloneUrl
25. // SSH (only when the sshd container is set up, sshkeys.hl): the same commands with the ssh address; the key comes from the main page
26. showSsh = sshEnabled && repo != null
27. sshAddress = repo != null ? sshUrl(hostOnly, repo.slug) : ''
28. sshCloneCommand = 'git clone ' + sshAddress
29. sshCommands = 'git remote add origin ' + sshAddress + NL + 'git push -u origin main'
31. View {
32. repoHead {
33. if (hasRepo) {
34. h1 { id = "reponame" repo.slug }
35. if (repo.described) { p { id = "repodescription" repo.description } }
36. p { class = "muted" "All repositories: " a { id = "toall" href = mainHref "gitoria" } }
37. repoNav { id = "reponav"
38. a { id = "navhome" href = "/" "Readme" }
39. a { id = "navcode" href = "/code" "Code" }
40. a { id = "navpulls" href = "/pulls" "Pull requests" }
41. a { id = "navreleases" href = "/releases" "Releases" }
42. a { id = "navtickets" href = "/tickets" "Tickets" }
43. }
44. }
45. if (hasRepo) {
46. details { id = "addcode" open = emptyRepo
47. summary { "Add code to this repository" }
48. addCode {
49. h2 { "Clone it" }
50. pre { id = "clonecommand" cloneCommand }
51. h2 { "Push a new project" }
52. pre { id = "newcommands" newCommands }
53. h2 { "Push an existing project" }
54. pre { id = "existingcommands" existingCommands }
55. if (showSsh) {
56. h2 { "Or over SSH" }
57. pre { id = "sshclonecommand" sshCloneCommand }
58. pre { id = "sshcommands" sshCommands }
59. p { class = "muted" "Add your public key under " a { id = "tosshkeys" href = sshKeysHref "SSH keys" } " on the main page after you log in; only the owner can push." }
60. }
61. p { class = "muted" "Reading needs no login. To push you must be the owner of this repository: git asks for a user name (anything) and a password — that is an access token, made under " a { id = "totokens" href = tokensHref "Access tokens" } " on the main page after you log in." }
62. }
63. }
64. }
65. if (isMissing) {
66. h1 { id = "missing" "No such repository" }
67. p { class = "muted" "Nobody has created this address yet. " a { id = "toall" href = mainHref "All repositories" } }
68. }
69. }
70. }