Re: [committed] doc: Switch valgrind.com to https

2020-09-01 Thread Martin Liška
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

Re: [committed] doc: Switch valgrind.com to https

2020-08-28 Thread Gerald Pfeifer
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

Re: [committed] doc: Switch valgrind.com to https

2020-08-25 Thread Martin Liška
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: