╭─────────────╮ │scroll to top│ ╰─────────────╯ ╭ UserKeys.zig ─────────────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯
🬐 🬠 🬞🬂🬏 🬟 🬑 🬟 🬑 ╭master╮ master haxy: 🬋🬋🬋 🬋🬋🬋 🬋 🬋 │files │ commits refs discuss issues patches new login 🬐 🬠 🬐 🬠 🬑 🬟 🬰 ╰──────╯ (716) user
╭ find file ─ ─ ─ ─ ─ ─ ─ ─ ─ ─╮ ╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─╮ │ │ │http│ ssh │ │ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─╯ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─╯
.. Fork/ Home/ Repo/ User/ widget/ Delete.zig Fork.zig Home.zig NewRepo.zig NewUser.zig NotFound.zig Quit.zig Repo.zig SubTitle.zig Title.zig Unauthorized.zig User.zig ╭─────────────────────────────────╮ │UserKeys.zig │ ╰─────────────────────────────────╯ UserLogin.zig UserNotifications.zig UserSettings.zig input.zig timestamp.zig widget.zig
20 21 const Self = @This(); 22 23 pub fn init(arena: *std.heap.ArenaAllocator, session: *ui.Session, user_id: *const [evt.event_id_size]u8, tab: ui.RoutablePage.UserTab) !Self { 24 const moment = session.haxy_moment orelse return .{}; 25 const user = (try evt.User.readById(evt.AdminDB, evt.admin_repo_opts.hash, moment, arena, user_id)) orelse return .{}; 26 var result: Self = .{}; 27 var keys: std.ArrayList([]const u8) = .empty; 28 var lines = std.mem.splitScalar(u8, user.event.ssh_keys, '\n'); 29 while (lines.next()) |line| { 30 const fingerprint = evt.User.fingerprintOfKey(line) orelse continue; 31 try keys.append(arena.allocator(), line); 32 if (tab.remove_key and std.mem.eql(u8, &fingerprint, tab.key.slice())) result.confirm = line; 33 } 34 result.keys = keys.items; 35 return result; 36 } 37 38 // the confirmation of removing `key`, under the user tab `route` 39 fn removeRoute(route: ui.RoutablePage, key: []const u8) ui.RoutablePage { 40 const fingerprint = evt.User.fingerprintOfKey(key) orelse unreachable; 41 const fingerprint_array = ui.RoutablePage.Array(evt.User.fingerprint_len).from(&fingerprint) orelse unreachable; 42 return route.withUserTab(.{ .view = .keys, .key = fingerprint_array, .remove_key = true }); 43 } 44 45 // a key's comment, or its type when it has none 46 fn keyLabel(key: []const u8) []const u8 { 47 var tokens = std.mem.tokenizeAny(u8, key, " \t"); 48 const key_type = tokens.next() orelse return ""; 49 _ = tokens.next(); 50 const comment = std.mem.trim(u8, tokens.rest(), " \t"); 51 return if (comment.len > 0) comment else key_type; 52 } 53 54 const add_label = " add ssh key "; 55 const input_width = 60; 56 57 pub const View = struct { 58 scroll: wgt.Scroll(ui.Widget), 59 data: *const Self, 60 session: *ui.Session, 61 62 const add_index = 0; 63 64 // `route` is the ssh keys route, which the forms post under 65 pub fn init(allocator: std.mem.Allocator, data: *const Self, session: *ui.Session, route: ui.RoutablePage) !View { 66 const aa = session.page_arena.allocator(); 67 if (data.confirm) |key| { 68 const remove_url = try removeRoute(route, key).toUrl(session.page_arena); 69 var center = try ui.widget.initConfirmationForm(allocator, try aa.print("form:{s}", .{remove_url}), &.{ 70 .{ .label = "remove ssh key", .bottom_label = try aa.print(" {s} ", .{keyLabel(key)}) }, 71 }); 72 errdefer center.deinit(allocator); 73 return .{ 74 .scroll = try wgt.Scroll(ui.Widget).init(allocator, .{ .center = center }, .{ .direction = .vert, .web_native = !session.is_terminal, .fill = true }), 75 .data = data, 76 .session = session, 77 }; 78 } 79 80 var box = try wgt.Box(ui.Widget).init(allocator, .{ .border = null, .direction = .vert }); 81 errdefer box.deinit(allocator); 82 const url = try route.toUrl(session.page_arena); 83 84 { 85 var add = try wgt.Box(ui.Widget).init(allocator, .{ .border = null, .direction = .horiz }); 86 errdefer add.deinit(allocator); 87 add.getFocus().kind = .{ .custom = try aa.print("form:{s}/addkey", .{url}) }; 88 var key = try wgt.TextInput.init(allocator, .{ .top_label = .{ .text = add_label }, .name = "key", .visible_width = input_width, .round_corners = true, .render_content = session.is_terminal }); 89 errdefer key.deinit(allocator); 90 key.getFocus().mode = .all; 91 if (session.formFeedback(.user_keys)) |saved| try key.setContent(allocator, saved.key); 92 add.getFocus().child_id = key.getFocus().id; 93 try add.children.put(allocator, key.getFocus().id, .{ .widget = .{ .text_input = key }, .rect = null, .min_size = .{ .width = null, .height = 3 } }); 94 try box.children.put(allocator, add.getFocus().id, .{ .widget = .{ .box = add }, .rect = null, .min_size = .{ .width = null, .height = 3 } }); 95 } 96 97 // one row per key, whose ✕ asks to confirm its removal 98 for (data.keys) |key| { 99 var row = try wgt.Box(ui.Widget).init(allocator, .{ .border = null, .direction = .horiz }); 100 errdefer row.deinit(allocator); 101 { 102 var text_input = try wgt.TextInput.init(allocator, .{ 103 .top_label = .{ .text = try aa.print(" {s} ", .{keyLabel(key)}) }, 104 .visible_width = input_width, 105 .round_corners = true, 106 .read_only = true, 107 .render_content = session.is_terminal, 108 }); 109 errdefer text_input.deinit(allocator); 110 text_input.getFocus().mode = .all; 111 try text_input.setContent(allocator, key); 112 // show the start of the key, as the web's input does 113 text_input.cursor = 0; 114 try row.children.put(allocator, text_input.getFocus().id, .{ .widget = .{ .text_input = text_input }, .rect = null, .min_size = .{ .width = null, .height = 3 } }); 115 } 116 { 117 var remove = try wgt.TextBox.init(allocator, "✕", .{ .border = .single, .round_corners = true, .wrap_kind = .none }); 118 errdefer remove.deinit(allocator); 119 remove.getFocus().mode = .all; 120 remove.getFocus().kind = .{ .custom = try aa.print("a:{s}", .{try removeRoute(route, key).toUrl(session.page_arena)}) }; 121 try row.children.put(allocator, remove.getFocus().id, .{ .widget = .{ .text_box = remove }, .rect = null, .min_size = .{ .width = 3, .height = null } }); 122 } 123 row.getFocus().child_id = row.children.keys()[0]; 124 try box.children.put(allocator, row.getFocus().id, .{ .widget = .{ .box = row }, .rect = null, .min_size = null }); 125 } 126 127 box.getFocus().child_id = box.children.keys()[add_index]; 128 var center = try ui.widget.Center.init(allocator, .{ .box = box }); 129 errdefer center.deinit(allocator); 130 return .{ 131 .scroll = try wgt.Scroll(ui.Widget).init(allocator, .{ .center = center }, .{ .direction = .vert, .web_native = !session.is_terminal, .fill = true }), 132 .data = data, 133 .session = session, 134 }; 135 } 136 137 pub fn deinit(self: *View, allocator: std.mem.Allocator) void { 138 self.scroll.deinit(allocator); 139 } 140 141 fn contentBox(self: *View) *wgt.Box(ui.Widget) { 142 return &self.scroll.child.center.child.box; 143 } 144 145 fn addBox(self: *View) *wgt.Box(ui.Widget) { 146 return &self.contentBox().children.values()[add_index].widget.box; 147 } 148 149 fn addInput(self: *View) *wgt.TextInput { 150 return &self.addBox().children.values()[0].widget.text_input; 151 } 152 153 fn addActive(self: *View) bool { 154 return self.contentBox().getFocus().child_id == self.addBox().getFocus().id; 155 } 156 157 pub fn build(self: *View, allocator: std.mem.Allocator, constraint: layout.Constraint, root_focus: *Focus) !void { 158 self.clearGrid(); 159 if (self.data.confirm == null) try self.labelInputs(root_focus); 160 // the window's height as a minimum centers rows that fit 161 try self.scroll.build(allocator, .{ 162 .min_size = .{ .width = constraint.min_size.width, .height = constraint.max_size.height orelse constraint.min_size.height }, 163 .max_size = constraint.max_size, 164 }, root_focus); 165 } 166 167 // label the add input for this frame and register every input for the 168 // web form handling 169 fn labelInputs(self: *View, root_focus: *Focus) !void { 170 const add = self.addInput(); 171 const failure = if (self.session.formFeedback(.user_keys)) |saved| saved.failure else null; 172 add.options.top_label.text = if (failure) |value| switch (value) { 173 .invalid => " add ssh key (invalid) ", 174 .unsupported => " add ssh key (unsupported type) ", 175 .already_added => " add ssh key (already added) ", 176 .too_many => " add ssh key (too many keys) ", 177 } else add_label; 178 add.options.bottom_label.text = if (root_focus.grandchild_id == add.getFocus().id) " press enter " else ""; 179 // the web form handling finds the inputs by focus id 180 const inputs_arena = self.session.arena.allocator(); 181 for (self.contentBox().children.values()) |*child| { 182 const text_input = &child.widget.box.children.values()[0].widget.text_input; 183 try self.session.text_inputs.put(inputs_arena, text_input.getFocus().id, text_input); 184 } 185 } 186 187 pub fn input(self: *View, allocator: std.mem.Allocator, key: Key, root_focus: *Focus) !void { 188 if (self.data.confirm) |confirmed| { 189 const button_id = self.contentBox().getFocus().child_id orelse return; 190 if (inp.activated(root_focus, button_id, key)) try self.removeKey(allocator, confirmed); 191 return; 192 } 193 // the add row keeps every key but the vertical ones, which move between rows 194 if (self.addActive() and inp.vertDirection(key) == .none) { 195 if (key == .enter) { 196 const text = try self.addInput().text(allocator); 197 defer allocator.free(text); 198 try self.addKey(allocator, text); 199 } else try self.addInput().input(allocator, key, root_focus); 200 return; 201 } 202 203 const rows = self.contentBox(); 204 if (inp.rowDelta(key, @intCast(rows.children.count()))) |delta| { 205 ui.widget.moveRowFocus(rows, &self.scroll, root_focus, delta); 206 return; 207 } 208 // a row's ✕ is a link the host follows 209 if (key == .arrow_left or key == .arrow_right) _ = ui.widget.moveInSelectedRow(rows, root_focus, key == .arrow_right); 210 } 211 212 // the terminal changes the keys itself; the web posts the form instead 213 fn addKey(self: *View, allocator: std.mem.Allocator, key: []const u8) !void { 214 if (comptime wasm) return; 215 const io = self.session.io orelse return; 216 const users_dir = self.session.users_dir orelse return; 217 const admin_repo = self.session.admin_repo orelse return; 218 const user_id = self.session.userId() orelse return; 219 evt.addUserKey(io, allocator, users_dir, admin_repo, &user_id, key) catch |err| switch (err) { 220 // the account was removed under them 221 error.NotFound => return ui.UserNotifications.logOut(self.session), 222 else => { 223 const failure = ui.Session.FormFeedback.KeyFailure.fromError(err) orelse return err; 224 self.session.data.form_feedback = .{ .user_keys = .{ .failure = failure, .key = try self.session.arena.allocator().dupe(u8, key) } }; 225 return; 226 }, 227 }; 228 // reload the page with the keys as they are now 229 self.session.haxy_moment = try evt.currentMoment(evt.admin_repo_opts, admin_repo); 230 try self.session.navigate(self.session.data.current_page); 231 } 232 233 // the terminal removes the key itself; the web posts the form instead 234 fn removeKey(self: *View, allocator: std.mem.Allocator, key: []const u8) !void { 235 if (comptime wasm) return; 236 const io = self.session.io orelse return; 237 const users_dir = self.session.users_dir orelse return; 238 const admin_repo = self.session.admin_repo orelse return; 239 const user_id = self.session.userId() orelse return; 240 const fingerprint = evt.User.fingerprintOfKey(key) orelse unreachable; 241 evt.removeUserKey(io, allocator, users_dir, admin_repo, &user_id, &fingerprint) catch |err| switch (err) { 242 // the account was removed under them 243 error.NotFound => return ui.UserNotifications.logOut(self.session), 244 else => return err, 245 }; 246 self.session.haxy_moment = try evt.currentMoment(evt.admin_repo_opts, admin_repo); 247 try self.session.navigate(self.session.data.current_page.withUserTab(.{ .view = .keys })); 248 } 249 250 pub fn clearGrid(self: *View) void { 251 self.scroll.clearGrid(); 252 } 253 254 pub fn getGrid(self: View) ?Grid { 255 return self.scroll.getGrid(); 256 } 257 258 pub fn getFocus(self: *View) *Focus { 259 return self.scroll.getFocus(); 260 } 261 262 // up leaves the view from the add row or the confirmation 263 pub fn atTop(self: *View) bool { 264 return self.data.confirm != null or self.addActive(); 265 } 266 }; 267