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 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





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 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.

> 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.  If the latter, the primary challenge is one of time,
where I already have fallen behind on fixing the really broken links.

Gerald


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:
r = requests.get(url, timeout = 5)
print(r)
return True
except requests.exceptions.ConnectionError as e:
print(e)
return False

for root, dirs, files in os.walk('.'):
for f in files:
if f.endswith('.html'):
full = os.path.join(root, f)
for l in open(full).readlines():
m = re.search(r'"(http:\/\/[^"]*)"', l)
if m:
urls.add(m.group(1))

urls = list(sorted(list(urls)))
to_replace = []

for i, url in enumerate(urls):
https = url.replace('http://', 'https://')
print('%d/%d: %s' % (i, len(urls), https))
if (check_url(https)):
to_replace.append(url)

print()
print('Can use HTTPS for %d of links:' % (len(to_replace)))
for url in to_replace:
print(url)
0/329: https://CobolForGCC.sourceforge.net/
HTTPSConnectionPool(host='cobolforgcc.sourceforge.net', port=443): Max retries 
exceeded with url: / (Caused by 
NewConnectionError(': Failed to establish a new connection: [Errno 111] Connection 
refused'))
1/329: https://annwm.lbl.gov/bench/
HTTPSConnectionPool(host='annwm.lbl.gov', port=443): Max retries exceeded with 
url: /bench/ (Caused by ConnectTimeoutError(, 'Connection to annwm.lbl.gov timed out. (connect 
timeout=5)'))
2/329: https://archive.adaic.com/standards/83lrm/html/ada_lrm.html
HTTPSConnectionPool(host='archive.adaic.com', port=443): Max retries exceeded 
with url: /standards/83lrm/html/ada_lrm.html (Caused by 
ConnectTimeoutError(, 'Connection to archive.adaic.com timed out. (connect 
timeout=5)'))
3/329: https://archive.adaic.com/standards/83rat/html/Welcome.html
HTTPSConnectionPool(host='archive.adaic.com', port=443): Max retries exceeded 
with url: /standards/83rat/html/Welcome.html (Caused by 
ConnectTimeoutError(, 'Connection to archive.adaic.com timed out. (connect 
timeout=5)'))
4/329: https://awards.acm.org/about/2015-technical-awards

5/329: https://blackfin.uclinux.org/gf/
HTTPSConnectionPool(host='blackfin.uclinux.org', port=443): Max retries 
exceeded with url: /gf/ (Caused by SSLError(SSLCertVerificationError("hostname 
'blackfin.uclinux.org' doesn't match either of '*.azurewebsites.net', 
'*.scm.azurewebsites.net', '*.azure-mobile.net', '*.scm.azure-mobile.net', 
'*.sso.azurewebsites.net'")))
6/329: https://buildbot.net/

7/329: https://c-faq.com/
HTTPSConnectionPool(host='c-faq.com', port=443): Max retries exceeded with url: 
/ (Caused by SSLError(SSLCertVerificationError("hostname 'c-faq.com' doesn't 
match either of '*.eskimo.com', 'eskimo.com'")))
8/329: https://chasm-interop.sourceforge.net/
HTTPSConnectionPool(host='chasm-interop.sourceforge.net', port=443): Max 
retries exceeded with url: / (Caused by 
NewConnectionError(': Failed to establish a new connection: [Errno 111] Connection 
refused'))
9/329: https://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.1922

10/329: https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.7180

11/329: https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.2235

12/329: https://cobolforgcc.sourceforge.net/cobol_toc.html
HTTPSConnectionPool(host='cobolforgcc.sourceforge.net', port=443): Max retries 
exceeded with url: /cobol_toc.html (Caused by 
NewConnectionError(': Failed to establish a new connection: [Errno 111] Connection 
refused'))
13/329: https://compilerconnection.com

14/329: https://deuce.doc.wustl.edu/Download.html

15/329: https://developer.axis.com/
HTTPSConnectionPool(host='developer.axis.com', port=443): Max retries exceeded 
with url: / (Caused by SSLError(SSLCertVerificationError("hostname 
'developer.axis.com' doesn't match either of 'www.axis.com', 'axis.com', 
'beta.www.axis.com'")))
16/329: https://developer.classpath.org/doc/
HTTPSConnectionPool(host='developer.classpath.org', port=443): Max retries 
exceeded with url: /doc/ (Caused by 
NewConnectionError(': Failed to establish a new connection: [Errno 111] Connection 
refused'))
17/329: https://developer.classpath.org/mediation/ClasspathGraphicsImagesText
HTTPSConnectionPool(host='developer.classpath.org', port=443): Max retries 
exceeded with url: /mediation/ClasspathGraphicsImagesText (Caused by 
NewConnectionError(': Failed to establish a new connection: [Errno 111] Connection 
refused'))
18/329: https://dwarfstd.org/
HTTPSConnectionPool(host='dwarfstd.org', port=443): Max retries exceeded with 
url: / (Caused by SSLError(SSLCertVerificationError(1, '[SSL: 
CERTIFICATE_VERIFY_FAILED] certificate verify failed: self signed certificate 
(_ssl.c:1123)')))
19/329: https://exactcode.com/opensource/openbench/

20/329: https://fastjar.sourceforge.net/
HTTPSConnectionPool(host='fastjar.sourceforge.net', port=443): Max retries 

[committed] doc: Switch valgrind.com to https

2020-08-24 Thread Gerald Pfeifer
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, perhaps?  That would be lovely, thanks.

Gerald

gcc/ChangeLog:
* doc/install.texi (Configuration): Switch valgrind.com to https.
---
 gcc/doc/install.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index e1ca876d729..5330bf3bb29 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -1887,7 +1887,7 @@ checking with extra checks that might affect code 
generation and should
 therefore not differ between stage1 and later stages in bootstrap.
 
 The @samp{valgrind} check requires the external @command{valgrind} simulator,
-available from @uref{http://valgrind.org/}.  The @samp{rtl} checks are
+available from @uref{https://valgrind.org}.  The @samp{rtl} checks are
 expensive and the @samp{df}, @samp{gcac} and @samp{valgrind} checks are very
 expensive.
 
-- 
2.28.0