http
Getting a remote file's properties with curl, without downloading it - 2026-09-05
A GET request pulls the whole body. Most of the time I actually want is in the headers — size, type, whether it changed — and there's a way to get each of those without pulling anything.