On 8/28/20 4:56 PM, Gerald Pfeifer wrote:
On Tue, 25 Aug 2020, Martin Liška wrote:
I noticed your continual effort to change http:// links to https://.
I've written a simple script that can do that in automatic way.
Thanks, Martin! My missions isn't actually changing http:// to https://
where possible, but checking for broken links and redirects offered by
server admins. ;-)
The latter indeed have included a number of those you observed, though
there aren't many (if any) left.
Ah, all right.
What do you think about using it?
Are you offering to update those links the script identifies, or that
this is for me? :) If the former, absolutely - even where server admins
have not activated a redirect (yet), if there is proper https available
we can use that.
Yes, I'm offering to start using https for the url links that work. I haven't
verified that HTTPS points to the "same" content as http, but it should.
May I suggest a patch that will do that?
Thanks,
Martin
If the latter, the primary challenge is one of time,
where I already have fallen behind on fixing the really broken links.
Gerald