gitoriaLog in with ident

tickets

All repositories: gitoria

ReadmeCodePull requestsReleasesTicketsSettings
Commit752fbb7f752fbb7fdeploy.sh: back up live storage/.sessions/.env before every deploy (newest 5 kept)mre752fbb7f/components/settings.hl

9.7 KB

  1. // components/settings.hl — `/projects/:projectSlug/settings` (ticket #20): the project's own page for its
  2. // admins: title, slug (a new slug keeps the old one working), description (Markdown, <md-editor>) and the
  3. // members with their roles (use / edit / admin), invited through ident's invite link (invites.hl) or added
  4. // by the ident id / display name of someone who logged in here. Everybody else sees a plain refusal — the
  5. // server checks the role in every face.
  6. parent './main.hl'
  7. import { projectByAnySlug, projectRowOf, memberRows, updateProject, setMemberRole, removeMember, isAdminOf, userByRef, roles, projectRecord } from '../store.hl'
  8. import { createInvite } from '../invites.hl'
  9. import { siteName } from '../project.hl'
  10. import { userOfSession, writerOfSession } from '../users.hl'
  11. projectSlug = null
  12. session = null
  13. project = projectByAnySlug(projectSlug)
  14. present = project != null
  15. gone = project == null
  16. me = userOfSession(session)
  17. isAdmin = project != null && isAdminOf(project.id, me)
  18. notAdmin = project != null && !isAdmin
  19. projectId = project != null ? project.id : ''
  20. projectHref = project != null ? '/projects/' + project.slug : '/'
  21. title = project != null ? project.title : ''
  22. slug = project != null ? project.slug : ''
  23. description = project != null && project.description != null ? project.description : ''
  24. members = project != null ? memberRows(project.id) : []
  25. roleList = roles
  26. saveMessage = ''
  27. saved = false
  28. memberMessage = ''
  29. addRef = ''
  30. addRole = 'use'
  31. inviteRole = 'use'
  32. inviteUses = '1'
  33. inviteDays = '7'
  34. inviteEmail = ''
  35. inviteMessage = ''
  36. inviteLink = ''
  37. hasInviteLink = false
  38. __title = siteName + ' | ' + (project != null ? project.title + ' settings' : 'no such project')
  39. View {
  40. projectSettings {
  41. if (gone) { p { id = "gone" class = "empty" "There is no such project." } }
  42. if (notAdmin) { p { id = "notadmin" class = "hint" "Only an admin of the project can open its settings. " a { href = projectHref "Back to the project" } } }
  43. if (isAdmin) {
  44. header {
  45. h1 { id = "settingstitle" "Settings of " a { href = projectHref title } }
  46. }
  47. form { id = "detailsform"
  48. on submit(e) {
  49. e.preventDefault()
  50. emit saveDetails(e)
  51. }
  52. label { "Title"
  53. input { id = "settitle" name = "title" required = "required" maxlength = "100" autocomplete = "off" value = title on input(e) { emit setTitle(e.target.value) } }
  54. }
  55. label { "Slug (the address of the project; the old one keeps working)"
  56. input { id = "setslug" name = "slug" required = "required" maxlength = "100" autocomplete = "off" value = slug on input(e) { emit setSlug(e.target.value) } }
  57. }
  58. label { "Description"
  59. mdEditor { textarea { id = "setdescription" name = "description" rows = "6" value = description on input(e) { emit setDescription(e.target.value) } } }
  60. }
  61. button { id = "detailssave" type = "submit" "Save" }
  62. p { id = "savemessage" class = "message" saveMessage }
  63. }
  64. section { id = "membersbox"
  65. h2 { "Members" }
  66. p { class = "muted" "use: comment, and move a ticket between open and review. edit: also open, edit and assign tickets and set any state. admin: also these settings and the members." }
  67. ul { id = "members"
  68. for (m of members) {
  69. li {
  70. strong { class = "membername" m.name }
  71. select { class = "memberrole" name = "role" value = m.role on change(e) { emit changeRole(m.user, e.target.value) }
  72. for (r of roleList) { option { value = r r } }
  73. }
  74. button { type = "button" class = "quiet danger removemember" "Remove" on click(e) { emit dropMember(m.user) } }
  75. }
  76. }
  77. }
  78. p { id = "membermessage" class = "message" memberMessage }
  79. form { id = "addform"
  80. on submit(e) {
  81. e.preventDefault()
  82. emit addPerson(e)
  83. }
  84. label { "Add a person by their ident id or display name"
  85. input { id = "addref" name = "person" required = "required" autocomplete = "off" value = addRef on input(e) { emit setAddRef(e.target.value) } }
  86. }
  87. label { "Role"
  88. select { id = "addrole" name = "role" value = addRole on change(e) { emit setAddRole(e.target.value) }
  89. for (r of roleList) { option { value = r r } }
  90. }
  91. }
  92. button { id = "addsave" type = "submit" "Add member" }
  93. }
  94. }
  95. section { id = "invitebox"
  96. h2 { "Invite" }
  97. p { class = "muted" "Ident makes a link; whoever opens it and picks an identity joins with the role you choose. Share it yourself, or give an email address and ident mails it." }
  98. form { id = "inviteform"
  99. on submit(e) {
  100. e.preventDefault()
  101. emit sendInvite(e)
  102. }
  103. label { "Role"
  104. select { id = "inviterole" name = "role" value = inviteRole on change(e) { emit setInviteRole(e.target.value) }
  105. for (r of roleList) { option { value = r r } }
  106. }
  107. }
  108. label { "People who can use the link"
  109. input { id = "inviteuses" name = "uses" inputmode = "numeric" value = inviteUses on input(e) { emit setInviteUses(e.target.value) } }
  110. }
  111. label { "Valid for (days)"
  112. input { id = "invitedays" name = "days" inputmode = "numeric" value = inviteDays on input(e) { emit setInviteDays(e.target.value) } }
  113. }
  114. label { "Email (optional)"
  115. input { id = "inviteemail" name = "email" type = "email" autocomplete = "off" value = inviteEmail on input(e) { emit setInviteEmail(e.target.value) } }
  116. }
  117. button { id = "invitecreate" type = "submit" "Create invite link" }
  118. }
  119. p { id = "invitemessage" class = "message" inviteMessage }
  120. if (hasInviteLink) { inviteShown { id = "invitelinkbox"
  121. p { "The invite link — copy it now, it is not shown again:" }
  122. code { id = "invitelink" inviteLink }
  123. } }
  124. }
  125. }
  126. }
  127. }
  128. on setTitle(v) { title = v }
  129. on setSlug(v) { slug = v }
  130. on setDescription(v) { description = v }
  131. on setAddRef(v) { addRef = v }
  132. on setAddRole(v) { addRole = v }
  133. on setInviteRole(v) { inviteRole = v }
  134. on setInviteUses(v) { inviteUses = v }
  135. on setInviteDays(v) { inviteDays = v }
  136. on setInviteEmail(v) { inviteEmail = v }
  137. on saveDetails(e) {
  138. let r = emit server settingsSave(projectId, title, slug, description)
  139. if (r == null || r.error != null) {
  140. saveMessage = r != null ? r.error : 'could not save'
  141. return null
  142. }
  143. saveMessage = 'Saved.'
  144. title = r.title
  145. slug = r.slug
  146. projectHref = '/projects/' + r.slug
  147. }
  148. on changeRole(userId, role) {
  149. let r = emit server settingsRole(projectId, userId, role)
  150. if (r == null || r.error != null) {
  151. memberMessage = r != null ? r.error : 'could not change the role'
  152. } else {
  153. memberMessage = ''
  154. }
  155. members = r != null && r.members != null ? r.members : members
  156. }
  157. on dropMember(userId) {
  158. let r = emit server settingsRemove(projectId, userId)
  159. if (r == null || r.error != null) {
  160. memberMessage = r != null ? r.error : 'could not remove the member'
  161. return null
  162. }
  163. memberMessage = ''
  164. members = r.members
  165. }
  166. on addPerson(e) {
  167. let r = emit server settingsAdd(projectId, addRef, addRole)
  168. if (r == null || r.error != null) {
  169. memberMessage = r != null ? r.error : 'could not add the member'
  170. return null
  171. }
  172. memberMessage = ''
  173. addRef = ''
  174. members = r.members
  175. }
  176. on sendInvite(e) {
  177. let r = emit server settingsInvite(projectId, inviteRole, inviteUses, inviteDays, inviteEmail)
  178. if (r == null || r.error != null) {
  179. inviteMessage = r != null ? r.error : 'could not create the invite'
  180. return null
  181. }
  182. inviteMessage = r.mailed ? 'Mailed as well.' : ''
  183. inviteLink = r.url
  184. hasInviteLink = true
  185. }
  186. // ---- the faces: the writer is the session's user; the store checks the admin role ------------
  187. on server settingsSave(projectId, title, slug, description, session) {
  188. let w = writerOfSession(session)
  189. if (w.error != null) { return { error = w.error } }
  190. if (hlTypeName(title) != 'String' || hlTypeName(slug) != 'String' || hlTypeName(description) != 'String') { return { error = 'title, slug and description must be text' } }
  191. let r = updateProject('' + projectId, w.user, title, slug, description)
  192. if (r.error != null) { return { error = r.error } }
  193. return { title = r.project.title slug = r.project.slug }
  194. }
  195. on server settingsRole(projectId, userId, role, session) {
  196. let w = writerOfSession(session)
  197. if (w.error != null) { return { error = w.error } }
  198. let r = setMemberRole('' + projectId, w.user, '' + userId, '' + role)
  199. if (r.error != null) { return { error = r.error members = memberRows('' + projectId) } }
  200. return { members = r.members }
  201. }
  202. on server settingsRemove(projectId, userId, session) {
  203. let w = writerOfSession(session)
  204. if (w.error != null) { return { error = w.error } }
  205. let r = removeMember('' + projectId, w.user, '' + userId)
  206. if (r.error != null) { return { error = r.error } }
  207. return { members = r.members }
  208. }
  209. on server settingsAdd(projectId, ref, role, session) {
  210. let w = writerOfSession(session)
  211. if (w.error != null) { return { error = w.error } }
  212. let f = userByRef('' + ref, null)
  213. if (f.error != null) { return { error = f.error } }
  214. let r = setMemberRole('' + projectId, w.user, f.user.id, '' + role)
  215. if (r.error != null) { return { error = r.error } }
  216. return { members = r.members }
  217. }
  218. on server settingsInvite(projectId, role, uses, days, email, session) {
  219. let w = writerOfSession(session)
  220. if (w.error != null) { return { error = w.error } }
  221. let p = projectRecord('' + projectId)
  222. if (p == null) { return { error = 'no such project' } }
  223. if (!isAdminOf(p.id, w.user)) { return { error = 'only an admin of the project can invite' } }
  224. if (!roles.includes('' + role)) { return { error = 'role must be one of: ' + roles.join(', ') } }
  225. let n = toNumber('' + uses)
  226. let d = toNumber('' + days)
  227. if (n == null || n < 1 || n > 1000) { return { error = 'the number of people must be from 1 to 1000' } }
  228. if (d == null || d < 1 || d > 90) { return { error = 'the days must be from 1 to 90' } }
  229. return createInvite(p.id, '' + role, n, d, '' + email)
  230. }

Branches

Latest commits

  • 752fbb7fdeploy.sh: back up live storage/.sessions/.env before every deploy (newest 5 kept)mre
  • 38bdd5e4deploy.sh: never send .git or .gitignore to Byrodinmre
  • f12fa1bcState of 2026-09-27, before the move to gitoriamre