HAXY

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

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

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

.. Attachment.zig Comment.zig Commits.zig Discussions.zig ╭─────────────────────────────────╮ │Events.zig │ ╰─────────────────────────────────╯ Files.zig Header.zig Issues.zig Refs.zig Threads.zig

621 var status = try wgt.TextBox(ui.Widget).init(allocator, status_text, .{ .border_style = .hidden, .wrap_kind = .none }); 622 errdefer status.deinit(allocator); 623 try box.children.put(allocator, status.getFocus().id, .{ .widget = .{ .text_box = status }, .rect = null, .min_size = null, .flex = .shrink }); 624 } 625 box.getFocus().child_id = tab_ids[@intFromEnum(data.view)]; 626 return .{ .box = box, .session = session, .tab_ids = tab_ids, .button_id = button_id }; 627 } 628 629 pub fn deinit(self: *Header.View, allocator: std.mem.Allocator) void { 630 self.box.deinit(allocator); 631 } 632 633 pub fn build(self: *Header.View, allocator: std.mem.Allocator, constraint: layout.Constraint, root_focus: *Focus) !void { 634 self.clearGrid(); 635 for (self.tab_ids) |id| { 636 const child = self.box.children.getPtr(id) orelse continue; 637 const tab = switch (child.widget) { 638 .text_box => |*text_box| text_box, 639 else => continue, 640 }; 641 tab.options.border_style = if (self.box.getFocus().child_id == id) .single else .hidden; 642 } 643 try self.box.build(allocator, constraint, root_focus); 644 } 645 646 pub fn input(self: *Header.View, allocator: std.mem.Allocator, key: Key, root_focus: *Focus) !void { 647 const selected = self.box.getFocus().child_id orelse return; 648 const current = self.box.children.getIndex(selected) orelse return; 649 const count = 2 + @as(usize, @intFromBool(self.button_id != null)); 650 if (inp.moveTab(key, current, count)) |next| { 651 root_focus.setFocus(self.box.children.keys()[next]); 652 return; 653 } 654 switch (key) { 655 .enter => if (self.syncFocused()) try self.requestSync(allocator), 656 .mouse => |mouse| if (self.button_id) |id| if (inp.leftClickOn(root_focus, id, mouse)) try self.requestSync(allocator), 657 else => {}, 658 } 659 } 660 661 fn requestSync(self: *Header.View, allocator: std.mem.Allocator) !void { 662 if (!self.session.is_terminal) return; 663 if (self.session.host_request != null) return; 664 const button_id = self.button_id orelse return; 665 const child = self.box.children.getPtr(button_id) orelse return; 666 const button = switch (child.widget) { 667 .text_box => |*button| button, 668 else => return, 669 }; 670 try button.setContent(allocator, "syncing..."); 671 self.session.host_request = .sync_events; 672 } 673 674 fn syncFocused(self: *Header.View) bool { 675 const button_id = self.button_id orelse return false; 676 return self.box.getFocus().child_id == button_id; 677 } 678 679 pub fn getSelectedIndex(self: *Header.View) ?usize { 680 const id = self.box.getFocus().child_id orelse return null; 681 return std.mem.indexOfScalar(usize, &self.tab_ids, id); 682 } 683 684 pub fn focusCurrent(self: *Header.View, root_focus: *Focus) void { 685 root_focus.setFocus(self.box.getFocus().child_id orelse self.tab_ids[0]); 686 } 687 688 pub fn clearGrid(self: *Header.View) void { 689 self.box.clearGrid(); 690 } 691 692 pub fn getGrid(self: Header.View) ?Grid { 693 return self.box.getGrid(); 694 } 695 696 pub fn getFocus(self: *Header.View) *Focus { 697 return self.box.getFocus(); 698 } 699 }; 700 }; 701 702 pub fn performSync(allocator: std.mem.Allocator, session: *ui.Session) !void { 703 if (comptime builtin.target.cpu.arch == .wasm32) return; 704 const io = session.io orelse return; 705 const source = session.local orelse return; 706 defer session.refresh_requested = true; 707 const failure = sync(io, allocator, source) catch |err| { 708 session.data.sync_failure = @errorName(err); 709 return; 710 }; 711 if (failure) |message| { 712 defer allocator.free(message); 713 session.data.sync_failure = try session.arena.allocator().dupe(u8, message); 714 return; 715 } 716 session.data.sync_failure = null; 717 switch (session.data.current_page) { 718 .repo_events => |route| { 719 if (ui.RoutablePage.repoEventsRoute(route.name.slice(), route.view, null, "")) |first| 720 session.data.current_page = first; 721 }, 722 else => {}, 723 } 724 } 725 726 fn remoteName( 727 comptime repo_kind: rp.RepoKind, 728 comptime repo_opts: rp.RepoOpts(repo_kind), 729 repo: *rp.Repo(repo_kind, repo_opts), 730 io: std.Io, 731 allocator: std.mem.Allocator, 732 ) !?[]u8 { 733 var remotes = try repo.listRemotes(io, allocator); 734 defer remotes.deinit(); 735 const names = remotes.sections.keys(); 736 if (names.len == 0) return null; 737 for (names) |name| { 738 const remote_ref: rf.Ref = .{ .kind = .{ .remote = name }, .name = evt.events_ref.name }; 739 if (try repo.readRef(io, remote_ref) != null) return try allocator.dupe(u8, name); 740 } 741 return try allocator.dupe(u8, names[0]); 742 } 743 744 fn isLoopbackSshUrl(url: []const u8) bool { 745 const uri = std.Uri.parse(url) catch return false; 746 const host = switch (uri.host orelse return false) { 747 .raw => |value| value, 748 .percent_encoded => |value| value, 749 }; 750 return std.mem.eql(u8, host, "localhost") or 751 std.mem.eql(u8, host, "127.0.0.1") or 752 std.mem.eql(u8, host, "::1") or 753 std.mem.eql(u8, host, "[::1]"); 754 } 755 756 pub fn sync(io: std.Io, allocator: std.mem.Allocator, source: ui.RepoSource) !?[]u8 { 757 var message: std.Io.Writer.Allocating = .init(allocator); 758 defer message.deinit(); 759 760 switch (source.repo_kind) { 761 inline else => |repo_kind| { 762 var any_repo = try rp.AnyRepo(repo_kind, .{ .ProgressCtx = Header.Progress }).open(io, allocator, source.localInitOpts()); 763 defer any_repo.deinit(io, allocator); 764 switch (any_repo) { 765 inline else => |*repo| { 766 const repo_opts = repo.self_repo_opts; 767 const remote_name = (try remoteName(repo_kind, repo_opts, repo, io, allocator)) orelse return error.RemoteNotFound; 768 defer allocator.free(remote_name); 769 770 var config = try repo.listConfig(io, allocator); 771 defer config.deinit(); 772 const configured_ssh = if (config.sections.get("core")) |core| core.get("sshcommand") else null; 773 const ssh = if (configured_ssh) |command| if (command.len > 0) command else "ssh" else "ssh"; 774 const remote_section = try std.fmt.allocPrint(allocator, "remote.{s}", .{remote_name}); 775 defer allocator.free(remote_section); 776 const remote_config = config.sections.get(remote_section) orelse return error.RemoteNotFound; 777 const fetch_url = remote_config.get("url") orelse return error.UrlNotFound; 778 const push_url = remote_config.get("pushurl") orelse fetch_url; 779 const loopback_opts = " -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null"; 780 const fetch_ssh_command = try std.fmt.allocPrint(allocator, "{s}{s} -o BatchMode=yes -o LogLevel=QUIET", .{ ssh, if (isLoopbackSshUrl(fetch_url)) loopback_opts else "" }); 781 defer allocator.free(fetch_ssh_command); 782 const push_ssh_command = try std.fmt.allocPrint(allocator, "{s}{s} -o BatchMode=yes -o LogLevel=QUIET", .{ ssh, if (isLoopbackSshUrl(push_url)) loopback_opts else "" }); 783 defer allocator.free(push_ssh_command); 784 const fetch_transport_opts: xit.net.Opts(repo_opts.ProgressCtx) = .{ .progress_ctx = .{ .message = &message }, .wire = .{ .ssh = .{ .command = fetch_ssh_command } } }; 785 const push_transport_opts: xit.net.Opts(repo_opts.ProgressCtx) = .{ .progress_ctx = .{ .message = &message }, .wire = .{ .ssh = .{ .command = push_ssh_command } } }; 786 787 const fetch_refspec = try std.fmt.allocPrint(allocator, "+refs/heads/{s}:refs/remotes/{s}/{s}", .{ evt.events_ref.name, remote_name, evt.events_ref.name }); 788 defer allocator.free(fetch_refspec); 789 var fetch_opts = fetch_transport_opts; 790 fetch_opts.refspecs = &.{fetch_refspec}; 791 message.clearRetainingCapacity(); 792 repo.fetch(io, allocator, remote_name, fetch_opts) catch |err| { 793 if (err == error.ServerReportedError and message.written().len != 0) return try allocator.dupe(u8, message.written()); 794 return err; 795 }; 796 797 const remote_ref: rf.Ref = .{ .kind = .{ .remote = remote_name }, .name = evt.events_ref.name }; 798 const local_oid = try repo.readRef(io, evt.events_ref); 799 const remote_oid = try repo.readRef(io, remote_ref); 800 if (local_oid == null and remote_oid == null) { 801 try evt.consume(.repo, repo_kind, repo_opts, io, allocator, repo, evt.events_ref, &.{}); 802 return null; 803 } 804 if (remote_oid != null) try evt.mergeEvents(repo_kind, repo_opts, io, allocator, repo, remote_ref); 805 try evt.consume(.repo, repo_kind, repo_opts, io, allocator, repo, evt.events_ref, &.{}); 806 807 const push_refspec = try std.fmt.allocPrint(allocator, "refs/heads/{s}:refs/heads/{s}", .{ evt.events_ref.name, evt.events_ref.name }); 808 defer allocator.free(push_refspec); 809 message.clearRetainingCapacity(); 810 repo.push(io, allocator, remote_name, push_refspec, false, push_transport_opts) catch |err| { 811 if (err == error.ServerReportedError and message.written().len != 0) return try allocator.dupe(u8, message.written()); 812 return err; 813 }; 814 message.clearRetainingCapacity(); 815 repo.fetch(io, allocator, remote_name, fetch_opts) catch |err| { 816 if (err == error.ServerReportedError and message.written().len != 0) return try allocator.dupe(u8, message.written()); 817 return err; 818 }; 819 }, 820 } 821 }, 822 } 823 return null; 824 } 825