https://sourceware.org/bugzilla/show_bug.cgi?id=29469
--- Comment #2 from Martin Liska <mliska at suse dot cz> --- (In reply to Mark Wielaard from comment #1) > Do you mean support for an HTTP HEAD (instead of GET) request? Yep, that's what I'm seeking for :) > Or do you actually want/need a new URL ending in /header to get the > information? $ wget --method=HEAD https://debuginfod.opensuse.org/buildid/929d83693f513cefd1c38e5075f2b10b12a9f322/debuginfo Spider mode enabled. Check if remote file exists. --2022-08-11 11:16:46-- https://debuginfod.opensuse.org/buildid/929d83693f513cefd1c38e5075f2b10b12a9f322/debuginfo Resolving debuginfod.opensuse.org (debuginfod.opensuse.org)... 91.193.113.65, 2a07:de40:401::65 Connecting to debuginfod.opensuse.org (debuginfod.opensuse.org)|91.193.113.65|:443... connected. HTTP request sent, awaiting response... 400 Bad Request Remote file does not exist -- broken link!!! -- You are receiving this mail because: You are on the CC list for the bug.
