HAXY

▄ ▄▄▄▄▄ ▄ ▄▀ ▄▀▀▀▀▀▀ ▄ ▀▄ ▀▀▀▀▀▀▀▀ ▀▀ ▀▀▄ ▀▀▀▀▀▀▀▀ ▀▀▀ ▀▀▀▀ ▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀ ▀▄ ▀▀▀▀▀▀▀▀▀▄ ▀▀▀▀▀▀▀ ▀ ▀▀▀▀▀▀▀▀▀▀▄ ▄▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▄ ▄▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▄ ▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄ ▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▄ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▄▄▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▄ ▄▀▀▀▀▀▀▀▀ ▀▀▀▄ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▄▄▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀ ▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▄ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀ ▀▀▀▀ ▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄ ▀▀▀▀▀▀▀▀▀▀▀▄▄▀▀▀▄▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▄ ▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▄▄▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀

╭─────────────╮ │scroll to top│ ╰─────────────╯ ╭ Events.zig ───────────────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯

╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╮ │http│ ssh │ │ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╯

.. Attachment.zig Comment.zig Commits.zig Diff.zig Discussions.zig ╭─────────────────────────────────╮ │Events.zig │ ╰─────────────────────────────────╯ Files.zig Header.zig Issues.zig Markdown.zig Patches.zig Refs.zig Settings.zig Undo.zig

627 628 pub fn local( 629 comptime repo_kind: rp.RepoKind, 630 comptime repo_opts: rp.RepoOpts(repo_kind), 631 aa: std.mem.Allocator, 632 repo: *rp.Repo(repo_kind, repo_opts), 633 io: std.Io, 634 failure: ?[]const u8, 635 ) !Header { 636 if (failure != null) return Header.empty(aa, failure); 637 const remote_name = (try remoteName(repo_kind, repo_opts, repo, io, aa)) orelse return .{ .sync_status = nothing }; 638 const remote_ref: rf.Ref = .{ .kind = .{ .remote = remote_name }, .name = evt.events_ref.name }; 639 const local_oid = (try repo.readRef(io, evt.events_ref)) orelse return .{ .sync_status = nothing }; 640 const remote_oid = (try repo.readRef(io, remote_ref)) orelse return .{ .sync_status = nothing }; 641 return .{ .sync_status = if (std.mem.eql(u8, &local_oid, &remote_oid)) nothing else unsynced }; 642 } 643 644 pub fn empty(aa: std.mem.Allocator, failure: ?[]const u8) !Header { 645 return .{ .sync_status = if (failure) |name| try aa.print("error: {s}", .{name}) else nothing }; 646 } 647 648 pub fn remote() Header { 649 return .{ .sync_status = null }; 650 } 651 652 pub const View = struct { 653 box: wgt.Box(ui.Widget), 654 session: *ui.Session, 655 tab_ids: [2]usize, 656 // the tab stays selected while the sync button has focus 657 selected_tab: usize, 658 button_id: ?usize, 659 660 pub fn init(allocator: std.mem.Allocator, data: *const Self, session: *ui.Session) !Header.View { 661 var box = try wgt.Box(ui.Widget).init(allocator, .{ .border = null, .direction = .horiz }); 662 errdefer box.deinit(allocator); 663 var tab_ids: [2]usize = undefined; 664 const view_labels = [_][]const u8{ active_tab_label, removed_tab_label }; 665 inline for ([_]ui.RoutablePage.EventsView{ .active, .removed }, view_labels, 0..) |view, view_label, i| { 666 const route = ui.RoutablePage.repoEventsRoute(data.identity, view, null, "", data.moment) orelse return error.RouteTooLong; 667 const count = data.window(view).count; 668 var label_buf: [64]u8 = undefined; 669 const label = try std.fmt.bufPrint(&label_buf, "{s} ({d})", .{ view_label, count }); 670 var tab = try wgt.TextBox.init(allocator, label, .{ .border = .hidden, .round_corners = true, .wrap_kind = .none }); 671 errdefer tab.deinit(allocator); 672 tab.getFocus().mode = .all; 673 const selected = std.meta.activeTag(session.data.current_page) == .repo_events and data.view == view; 674 tab.getFocus().kind = .{ .custom = try ui.inPageTabLink(session, route, selected) }; 675 tab_ids[i] = tab.getFocus().id; 676 try box.children.put(allocator, tab.getFocus().id, .{ .widget = .{ .text_box = tab }, .rect = null, .min_size = .{ .width = label.len + 2, .height = null } }); 677 } 678 679 // pushes the sync button and status to the right 680 { 681 var spacer = try ui.widget.Spacer.init(allocator); 682 errdefer spacer.deinit(allocator); 683 try box.children.put(allocator, spacer.getFocus().id, .{ .widget = .{ .spacer = spacer }, .rect = null, .min_size = null, .flex = .grow }); 684 } 685 686 var button_id: ?usize = null; 687 if (data.header.sync_status != null) { 688 box.getFocus().kind = .{ .custom = "form:/sync" }; 689 var button = try wgt.TextBox.init(allocator, "sync", .{ .border = .single, .round_corners = true, .wrap_kind = .none }); 690 errdefer button.deinit(allocator); 691 button.getFocus().mode = .all; 692 button.getFocus().kind = .{ .custom = "submit" }; 693 button_id = button.getFocus().id; 694 try box.children.put(allocator, button.getFocus().id, .{ .widget = .{ .text_box = button }, .rect = null, .min_size = null }); 695 } 696 697 if (data.header.sync_status) |status_text| { 698 var status = try wgt.TextBox.init(allocator, status_text, .{ .border = .hidden, .wrap_kind = .none }); 699 errdefer status.deinit(allocator); 700 try box.children.put(allocator, status.getFocus().id, .{ .widget = .{ .text_box = status }, .rect = null, .min_size = null, .flex = .shrink }); 701 } 702 box.getFocus().child_id = tab_ids[@backingInt(data.view)]; 703 return .{ .box = box, .session = session, .tab_ids = tab_ids, .selected_tab = @backingInt(data.view), .button_id = button_id }; 704 } 705 706 pub fn deinit(self: *Header.View, allocator: std.mem.Allocator) void { 707 self.box.deinit(allocator); 708 } 709 710 pub fn build(self: *Header.View, allocator: std.mem.Allocator, constraint: layout.Constraint, root_focus: *Focus) !void { 711 self.clearGrid(); 712 if (self.getSelectedIndex()) |index| self.selected_tab = index; 713 for (self.tab_ids, 0..) |id, index| { 714 const child = self.box.children.getPtr(id) orelse continue; 715 const tab = switch (child.widget) { 716 .text_box => |*text_box| text_box, 717 else => continue, 718 }; 719 ui.widget.markSelected(tab, index == self.selected_tab); 720 } 721 try self.box.build(allocator, constraint, root_focus); 722 } 723 724 pub fn input(self: *Header.View, allocator: std.mem.Allocator, key: Key, root_focus: *Focus) !void { 725 const selected = self.box.getFocus().child_id orelse return; 726 const stops = [_]?usize{ self.tab_ids[0], self.tab_ids[1], self.button_id }; 727 const count = 2 + @as(usize, @intFromBool(self.button_id != null)); 728 const current = std.mem.indexOfScalar(?usize, stops[0..count], selected) orelse return; 729 if (inp.moveTab(key, current, count)) |next| { 730 root_focus.setFocus(stops[next] orelse unreachable); 731 return; 732 } 733 switch (key) { 734 .enter => if (self.syncFocused()) try self.requestSync(allocator), 735 .mouse => |mouse| if (self.button_id) |id| if (inp.leftClickOn(root_focus, id, mouse)) try self.requestSync(allocator), 736 else => {}, 737 } 738 } 739 740 fn requestSync(self: *Header.View, allocator: std.mem.Allocator) !void { 741 if (!self.session.is_terminal) return; 742 if (self.session.host_request != null) return; 743 const button_id = self.button_id orelse return; 744 const child = self.box.children.getPtr(button_id) orelse return; 745 const button = switch (child.widget) { 746 .text_box => |*button| button, 747 else => return, 748 }; 749 try button.setContent(allocator, "syncing..."); 750 self.session.host_request = .sync_events; 751 } 752 753 fn syncFocused(self: *Header.View) bool { 754 const button_id = self.button_id orelse return false; 755 return self.box.getFocus().child_id == button_id; 756 } 757 758 pub fn getSelectedIndex(self: *Header.View) ?usize { 759 const id = self.box.getFocus().child_id orelse return null; 760 return std.mem.indexOfScalar(usize, &self.tab_ids, id); 761 } 762 763 pub fn focusCurrent(self: *Header.View, root_focus: *Focus) void { 764 root_focus.setFocus(self.box.getFocus().child_id orelse self.tab_ids[0]); 765 } 766 767 pub fn clearGrid(self: *Header.View) void { 768 self.box.clearGrid(); 769 } 770 771 pub fn getGrid(self: Header.View) ?Grid { 772 return self.box.getGrid(); 773 } 774 775 pub fn getFocus(self: *Header.View) *Focus { 776 return self.box.getFocus(); 777 } 778 }; 779 }; 780 781 pub fn performSync(allocator: std.mem.Allocator, session: *ui.Session) !void { 782 if (comptime builtin.target.cpu.arch == .wasm32) return; 783 const io = session.io orelse return; 784 const source = session.local orelse return; 785 defer session.refresh_requested = true; 786 const failure = sync(io, allocator, source) catch |err| { 787 session.data.sync_failure = @errorName(err); 788 return; 789 }; 790 if (failure) |message| { 791 defer allocator.free(message); 792 session.data.sync_failure = try session.arena.allocator().dupe(u8, message); 793 return; 794 } 795 session.data.sync_failure = null; 796 switch (session.data.current_page) { 797 .repo_events => |route| { 798 if (ui.RoutablePage.repoEventsRoute(route.name.slice(), route.view, null, "", route.moment)) |first| 799 session.data.current_page = first; 800 }, 801 else => {}, 802 } 803 } 804 805 fn remoteName( 806 comptime repo_kind: rp.RepoKind, 807 comptime repo_opts: rp.RepoOpts(repo_kind), 808 repo: *rp.Repo(repo_kind, repo_opts), 809 io: std.Io, 810 allocator: std.mem.Allocator, 811 ) !?[]u8 { 812 var remotes = try repo.listRemotes(io, allocator); 813 defer remotes.deinit(); 814 const names = remotes.sections.keys(); 815 if (names.len == 0) return null; 816 for (names) |name| { 817 const remote_ref: rf.Ref = .{ .kind = .{ .remote = name }, .name = evt.events_ref.name }; 818 if (try repo.readRef(io, remote_ref) != null) return try allocator.dupe(u8, name); 819 } 820 return try allocator.dupe(u8, names[0]); 821 } 822 823 fn isLoopbackSshUrl(url: []const u8) bool { 824 const uri = std.Uri.parse(url) catch return false; 825 const host = switch (uri.host orelse return false) { 826 .raw => |value| value, 827 .percent_encoded => |value| value, 828 }; 829 return std.mem.eql(u8, host, "localhost") or 830 std.mem.eql(u8, host, "127.0.0.1") or 831 std.mem.eql(u8, host, "::1") or 832 std.mem.eql(u8, host, "[::1]"); 833 } 834 835 pub fn sync(io: std.Io, allocator: std.mem.Allocator, source: ui.RepoSource) !?[]u8 { 836 var message: std.Io.Writer.Allocating = .init(allocator); 837 defer message.deinit(); 838 839 switch (source.repo_kind) { 840 inline else => |repo_kind| { 841 var any_repo = try rp.AnyRepo(repo_kind, .{ .ProgressCtx = Header.Progress }).open(io, allocator, source.localInitOpts()); 842 defer any_repo.deinit(io, allocator); 843 switch (any_repo) { 844 inline else => |*repo| { 845 const repo_opts = repo.self_repo_opts; 846 const remote_name = (try remoteName(repo_kind, repo_opts, repo, io, allocator)) orelse return error.RemoteNotFound; 847 defer allocator.free(remote_name); 848 849 var config = try repo.listConfig(io, allocator); 850 defer config.deinit(); 851 const configured_ssh = if (config.sections.get("core")) |core| core.get("sshcommand") else null; 852 const ssh = if (configured_ssh) |command| if (command.len > 0) command else "ssh" else "ssh"; 853 const remote_section = try allocator.print("remote.{s}", .{remote_name}); 854 defer allocator.free(remote_section); 855 const remote_config = config.sections.get(remote_section) orelse return error.RemoteNotFound; 856 const fetch_url = remote_config.get("url") orelse return error.UrlNotFound; 857 const push_url = remote_config.get("pushurl") orelse fetch_url; 858 const loopback_opts = " -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null"; 859 const fetch_ssh_command = try allocator.print("{s}{s} -o BatchMode=yes -o LogLevel=QUIET", .{ ssh, if (isLoopbackSshUrl(fetch_url)) loopback_opts else "" }); 860 defer allocator.free(fetch_ssh_command); 861 const push_ssh_command = try allocator.print("{s}{s} -o BatchMode=yes -o LogLevel=QUIET", .{ ssh, if (isLoopbackSshUrl(push_url)) loopback_opts else "" }); 862 defer allocator.free(push_ssh_command); 863 const fetch_transport_opts: xit.net.Opts(repo_opts.ProgressCtx) = .{ .progress_ctx = .{ .message = &message }, .wire = .{ .ssh = .{ .command = fetch_ssh_command } } }; 864 const push_transport_opts: xit.net.Opts(repo_opts.ProgressCtx) = .{ .progress_ctx = .{ .message = &message }, .wire = .{ .ssh = .{ .command = push_ssh_command } } }; 865 866 const fetch_refspec = try allocator.print("+refs/heads/{s}:refs/remotes/{s}/{s}", .{ evt.events_ref.name, remote_name, evt.events_ref.name }); 867 defer allocator.free(fetch_refspec); 868 var fetch_opts = fetch_transport_opts; 869 fetch_opts.refspecs = &.{fetch_refspec}; 870 message.clearRetainingCapacity(); 871 repo.fetch(io, allocator, remote_name, fetch_opts) catch |err| { 872 if (err == error.ServerReportedError and message.written().len != 0) return try allocator.dupe(u8, message.written()); 873 return err; 874 }; 875 876 const remote_ref: rf.Ref = .{ .kind = .{ .remote = remote_name }, .name = evt.events_ref.name }; 877 const local_oid = try repo.readRef(io, evt.events_ref); 878 const remote_oid = try repo.readRef(io, remote_ref); 879 if (local_oid == null and remote_oid == null) { 880 try evt.consume(.local, .repo, repo_kind, repo_opts, io, allocator, repo, evt.events_ref, &.{}); 881 return null; 882 } 883 if (remote_oid != null) try evt.mergeEvents(repo_kind, repo_opts, io, allocator, repo, remote_ref); 884 try evt.consume(.local, .repo, repo_kind, repo_opts, io, allocator, repo, evt.events_ref, &.{}); 885 886 const push_refspec = try allocator.print("refs/heads/{s}:refs/heads/{s}", .{ evt.events_ref.name, evt.events_ref.name }); 887 defer allocator.free(push_refspec); 888 message.clearRetainingCapacity(); 889 repo.push(io, allocator, remote_name, push_refspec, false, push_transport_opts) catch |err| { 890 if (err == error.ServerReportedError and message.written().len != 0) return try allocator.dupe(u8, message.written()); 891 return err; 892 }; 893 message.clearRetainingCapacity(); 894 repo.fetch(io, allocator, remote_name, fetch_opts) catch |err| { 895 if (err == error.ServerReportedError and message.written().len != 0) return try allocator.dupe(u8, message.written()); 896 return err; 897 }; 898 }, 899 } 900 }, 901 } 902 return null; 903 } 904