|
From: David M. <da...@da...> - 2017-07-15 23:13:21
|
Hi all, The Manpage points to http://www.valgrind.org, but when I go to http://www.valgrind.org the DNS is listed as for sale. http://valgrind.org seems to work OK though. So I wrote this patch to update the manpages to the working web address -Dave ------------------------------------------------------------------------------------------------ diff docs/xml/vg-entities.xml docs/xml/vg-entities.xml.new 18,23c18,23 < <!ENTITY vg-url "http://www.valgrind.org/"> < <!ENTITY vg-lists-url "http://www.valgrind.org/support/mailing_lists.html"> < <!ENTITY vg-devs-url "http://www.valgrind.org/info/developers.html"> < <!ENTITY vg-repo-url "http://www.valgrind.org/downloads/repository.html"> < <!ENTITY vg-pubs-url "http://www.valgrind.org/docs/pubs.html"> < <!ENTITY vg-docs-url "http://www.valgrind.org/docs/manual/index.html"> --- > <!ENTITY vg-url "http://valgrind.org/"> > <!ENTITY vg-lists-url "http://valgrind.org/support/mailing_lists.html"> > <!ENTITY vg-devs-url "http://valgrind.org/info/developers.html"> > <!ENTITY vg-repo-url "http://valgrind.org/downloads/repository.html"> > <!ENTITY vg-pubs-url "http://valgrind.org/docs/pubs.html"> > <!ENTITY vg-docs-url "http://valgrind.org/docs/manual/index.html"> 29c29 < <!ENTITY vg-manual-url "http://www.valgrind.org/docs/manual/"> --- > <!ENTITY vg-manual-url "http://valgrind.org/docs/manual/"> ------------------------------------------------------------------------------------------------- |
|
From: Tom H. <to...@co...> - 2017-07-16 00:01:11
|
I rather think the correct fix is to fix the web server rather than patching all the links... Tom On 15/07/17 23:46, David McInnis wrote: > Hi all, > > The Manpage points to http://www.valgrind.org, but when I go to > http://www.valgrind.org the DNS is listed as for sale. > > http://valgrind.org seems to work OK though. > > So I wrote this patch to update the manpages to the working web address > > > -Dave > > ------------------------------------------------------------------------------------------------ > > > > diff docs/xml/vg-entities.xml docs/xml/vg-entities.xml.new > 18,23c18,23 > < <!ENTITY vg-url "http://www.valgrind.org/"> > < <!ENTITY vg-lists-url > "http://www.valgrind.org/support/mailing_lists.html"> > < <!ENTITY vg-devs-url "http://www.valgrind.org/info/developers.html"> > < <!ENTITY vg-repo-url "http://www.valgrind.org/downloads/repository.html"> > < <!ENTITY vg-pubs-url "http://www.valgrind.org/docs/pubs.html"> > < <!ENTITY vg-docs-url "http://www.valgrind.org/docs/manual/index.html"> > --- > > <!ENTITY vg-url "http://valgrind.org/"> > > <!ENTITY vg-lists-url "http://valgrind.org/support/mailing_lists.html"> > > <!ENTITY vg-devs-url "http://valgrind.org/info/developers.html"> > > <!ENTITY vg-repo-url "http://valgrind.org/downloads/repository.html"> > > <!ENTITY vg-pubs-url "http://valgrind.org/docs/pubs.html"> > > <!ENTITY vg-docs-url "http://valgrind.org/docs/manual/index.html"> > 29c29 > < <!ENTITY vg-manual-url "http://www.valgrind.org/docs/manual/"> > --- > > <!ENTITY vg-manual-url "http://valgrind.org/docs/manual/"> > > > ------------------------------------------------------------------------------------------------- > > > ------------------------------------------------------------------------------ > > Check out the vibrant tech community on one of the world's most > engaging tech sites, Slashdot.org! http://sdm.link/slashdot > _______________________________________________ > Valgrind-developers mailing list > Val...@li... > https://lists.sourceforge.net/lists/listinfo/valgrind-developers -- Tom Hughes (to...@co...) http://compton.nu/ |
|
From: Ivo R. <iv...@iv...> - 2017-07-16 06:08:45
|
2017-07-16 1:31 GMT+02:00 Tom Hughes <to...@co...>: > I rather think the correct fix is to fix the web server rather than patching > all the links... It looks like the DNS registration for www.valgrind.com has just expired or has been incorrectly redirected to www.open-works.net. Anyway, if you throw "www.valgrind.org" into http://dnstools.fastnext.com, it reports interesting results... I. |
|
From: David M. <da...@da...> - 2017-07-16 17:39:30
|
Agreed. I misunderstood the situation and thought the valgrind folks intentionally deprecated the www.valgrind.org for the valgrind.org site. -Dave On 7/15/17 4:31 PM, Tom Hughes wrote: > I rather think the correct fix is to fix the web server rather than > patching all the links... > > Tom > > On 15/07/17 23:46, David McInnis wrote: >> Hi all, >> >> The Manpage points to http://www.valgrind.org, but when I go to >> http://www.valgrind.org the DNS is listed as for sale. >> >> http://valgrind.org seems to work OK though. >> >> So I wrote this patch to update the manpages to the working web address >> >> >> -Dave >> >> ------------------------------------------------------------------------------------------------ >> >> >> >> diff docs/xml/vg-entities.xml docs/xml/vg-entities.xml.new >> 18,23c18,23 >> < <!ENTITY vg-url "http://www.valgrind.org/"> >> < <!ENTITY vg-lists-url >> "http://www.valgrind.org/support/mailing_lists.html"> >> < <!ENTITY vg-devs-url "http://www.valgrind.org/info/developers.html"> >> < <!ENTITY vg-repo-url >> "http://www.valgrind.org/downloads/repository.html"> >> < <!ENTITY vg-pubs-url "http://www.valgrind.org/docs/pubs.html"> >> < <!ENTITY vg-docs-url >> "http://www.valgrind.org/docs/manual/index.html"> >> --- >> > <!ENTITY vg-url "http://valgrind.org/"> >> > <!ENTITY vg-lists-url >> "http://valgrind.org/support/mailing_lists.html"> >> > <!ENTITY vg-devs-url "http://valgrind.org/info/developers.html"> >> > <!ENTITY vg-repo-url >> "http://valgrind.org/downloads/repository.html"> >> > <!ENTITY vg-pubs-url "http://valgrind.org/docs/pubs.html"> >> > <!ENTITY vg-docs-url "http://valgrind.org/docs/manual/index.html"> >> 29c29 >> < <!ENTITY vg-manual-url "http://www.valgrind.org/docs/manual/"> >> --- >> > <!ENTITY vg-manual-url "http://valgrind.org/docs/manual/"> >> >> >> ------------------------------------------------------------------------------------------------- >> >> >> ------------------------------------------------------------------------------ >> >> Check out the vibrant tech community on one of the world's most >> engaging tech sites, Slashdot.org! http://sdm.link/slashdot >> _______________________________________________ >> Valgrind-developers mailing list >> Val...@li... >> https://lists.sourceforge.net/lists/listinfo/valgrind-developers > > |
|
From: Mark W. <ma...@kl...> - 2017-07-17 18:32:20
|
On Sun, Jul 16, 2017 at 10:37:33AM -0700, David McInnis wrote: > Agreed. I misunderstood the situation and thought the valgrind folks > intentionally deprecated the www.valgrind.org for the valgrind.org site. Thanks for reporting the issue. It was indeed a bad DNS setting and not deliberate. It should be fixed now (at least when the DNS changes have propagated, which can still take a couple of hours). www.valgrind.org is now a simple alias for valgrind.org. All www.valgrind.org links should work again. If you still see errors in ~12 hours please let us know. Cheers, Mark |