[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-wget] Standard cookie file extension
From: |
Seymour J Metz |
Subject: |
Re: [Bug-wget] Standard cookie file extension |
Date: |
Wed, 23 Oct 2019 17:42:28 +0000 |
RFC 6265 does not define cookie files; the way that a browser stores cookies is
up to the browser.
--
Shmuel (Seymour J.) Metz
http://mason.gmu.edu/~smetz3
________________________________________
From: Bug-wget <bug-wget-bounces+smetz3=address@hidden> on behalf of Peng Yu
<address@hidden>
Sent: Wednesday, October 23, 2019 9:49 AM
To: bug-wget
Subject: [Bug-wget] Standard cookie file extension
Hi, I am wondering if there is a standard cookie file extension for
cookie files written by wget. So far, I only see filenames like
cookie.txt cookies.txt. So the extension is just .txt. But .txt is not
a specific extension for cookie files. I'd like an extension dedicated
to cookie files for disambignuity purposes. Thanks.
--
Regards,
Peng