ICT: Diary
D: 28 W: 05
| < | October 2022 | > | ||||
| Sun | Mon | Tue | Wed | Thu | Fri | Sat |
|---|---|---|---|---|---|---|
| 1 | ||||||
| 2 | 3 | 4 | 5 | 6 | 7 | 8 |
| 9 | 10 | 11 | 12 | 13 | 14 | 15 |
| 16 | 17 | 18 | 19 | 20 | 21 | 22 |
| 23 | 24 | 25 | 26 | 27 | 28 | 29 |
| 30 | 31 | |||||
[ < ]
Monday, 24 October 2022 [ >
]
curl
Downloading binary files from github seemed to need the -i which includes the HTTP response headers, which seemed to conflict with -J (the shortname for --remote-header-name) for using server-specified Content-Disposition filename and -L for curl to follow the redirect, thus:
curl -LJO https://github.com/path/to/bin.bin
resulted in a successful file download. Far to much indirection from github…
$Id: dates.htm,v 1
$Id: diary,v 1.38 2025/01/01 22:43:54 fred Exp $