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
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 a
Hey Gerald.
I noticed your continual effort to change http:// links to https://.
I've written a simple script that can do that in automatic way.
What do you think about using it?
Martin
#!/usr/bin/env python3
import os
import re
import requests
urls = set()
def check_url(url):
try:
Pushed.
Jonathan, I found two more references to valgrind.com without https (which
lead to a redirect) at http://gcc.gnu.org/onlinedocs/libstdc++/manual/debug.html
http://valgrind.org/docs/manual/drd-manual.html
http://valgrind.org/docs/manual/hg-manual.html
Would you mind having a look, per