Hi, On Thu, 16 Nov 2023 at 15:40, Ludovic Courtès <l...@gnu.org> wrote:
>> However, now I get: >> >> $ wget https://guix.gnu.org/sources.json > > If you open it in a browser though, it’s fine, because browsers and in > fact many HTTP clients other than wget, honor ‘Content-Encoding’: [...] > That said, if you become aware of actual breakage, we can revisit this! Could we have a self-consistent name? The expected extension when a file is Gziped compressed is .gz. Why not put it? 1. It costs us nothing. 2. How to read the file is then clearer. Cheers, simon
