Re: Sourceforge -> https

[Peter Stephenson <p.w.stephenson@ntlworld.com>]

> On 24 May 2021 at 09:20 Peter Stephenson <p.w.stephenson@ntlworld.com> wrote:
> I've pushed the button: when we're quoting Sourceforge URLs then the new one is:
> 
> https://zsh.sourceforge.io

It's now live.  Here are all the references I can see in the source distribution.

pws

diff --git a/Doc/Zsh/manual.yo b/Doc/Zsh/manual.yo
index 119849e4c..51601adbd 100644
--- a/Doc/Zsh/manual.yo
+++ b/Doc/Zsh/manual.yo
@@ -196,7 +196,7 @@ produce a nicely formatted printed manual.
 item(The HTML manual)(
 An HTML version of this manual is available at the Zsh web site via:
 
-uref(http://zsh.sourceforge.net/Doc/).
+uref(https://zsh.sourceforge.io/Doc/).
 
 (The HTML version is produced with bf(texi2html), which may be obtained
 from uref(http://www.nongnu.org/texi2html/). The command is
diff --git a/Doc/Zsh/metafaq.yo b/Doc/Zsh/metafaq.yo
index 4cefa4d71..c780808e3 100644
--- a/Doc/Zsh/metafaq.yo
+++ b/Doc/Zsh/metafaq.yo
@@ -29,7 +29,7 @@ uref(https://www.zsh.org/pub/))
 The up-to-date source code is available via Git from Sourceforge.  See
 uref(https://sourceforge.net/projects/zsh/) for details.  A summary of
 instructions for the archive can be found at
-uref(http://zsh.sourceforge.net/).
+uref(https://zsh.sourceforge.io/).
 
 texinode(Mailing Lists)(The Zsh FAQ)(Availability)(Introduction)
 sect(Mailing Lists)
@@ -98,6 +98,6 @@ A userguide is currently in preparation.  It is intended to complement the
 manual, with explanations and hints on issues where the manual can be
 cabbalistic, hierographic, or downright mystifying (for example, the word
 `hierographic' does not exist).  It can be viewed in its current state at
-uref(http://zsh.sourceforge.net/Guide/).  At the time of writing, chapters
+uref(https://zsh.sourceforge.io/Guide/).  At the time of writing, chapters
 dealing with startup files and their contents and the new completion system
 were essentially complete.
diff --git a/Etc/FAQ.yo b/Etc/FAQ.yo
index 9f0d99d45..20f6449f1 100644
--- a/Etc/FAQ.yo
+++ b/Etc/FAQ.yo
@@ -171,20 +171,20 @@ sect(Sources of information)
 label(11)
 
   Information on zsh is available via the World Wide Web.  The URL
-  is url(http://zsh.sourceforge.net/)(http://zsh.sourceforge.net/) .
+  is url(https://zsh.sourceforge.io/)(https://zsh.sourceforge.io/) .
   The server provides this FAQ and much else and is
   now maintained by the zsh workers (email email(zsh-workers@zsh.org)).
   The FAQ is at \
-url(http://zsh.sourceforge.net/FAQ/)(http://zsh.sourceforge.net/FAQ/) .
+url(https://zsh.sourceforge.io/FAQ/)(https://zsh.sourceforge.io/FAQ/) .
   The site also contains some contributed zsh scripts and functions;
   we are delighted to add more, or simply links to your own collection.
 
   This document was originally written in YODL, allowing it to be converted
   easily into various other formats.  The master source file lives at
-  url(http://zsh.sourceforge.net/FAQ/zshfaq.yo)
-(http://zsh.sourceforge.net/FAQ/zshfaq.yo) and the plain text version
-  can be found at url(http://zsh.sourceforge.net/FAQ/zshfaq.txt)
-(http://zsh.sourceforge.net/FAQ/zshfaq.txt) .
+  url(https://zsh.sourceforge.io/FAQ/zshfaq.yo)
+(https://zsh.sourceforge.io/FAQ/zshfaq.yo) and the plain text version
+  can be found at url(https://zsh.sourceforge.io/FAQ/zshfaq.txt)
+(https://zsh.sourceforge.io/FAQ/zshfaq.txt) .
 
   Another useful source of information is the collection of FAQ articles
   posted frequently to the Usenet news groups comp.unix.questions,
@@ -213,7 +213,7 @@ email(mail-server@rtfm.mit.edu)
   I have put together a user guide to complement the manual by
   explaining the most useful features of zsh in a more easy to read way.
   This can be found at the zsh web site:
-    url(http://zsh.sourceforge.net/Guide/)(http://zsh.sourceforge.net/Guide/)
+    url(https://zsh.sourceforge.io/Guide/)(https://zsh.sourceforge.io/Guide/)
 
   (As a method of reading the following in Emacs, you can type tt(\M-2
   \C-x $) to make all the indented text vanish, then tt(\M-0 \C-x $)
@@ -367,8 +367,8 @@ label(16)
   link(1.1)(11)) at:
 
   description(
-    mydit()        url(http://zsh.sourceforge.net/Patches/)
-(http://zsh.sourceforge.net/Patches/)
+    mydit()        url(https://zsh.sourceforge.io/Patches/)
+(https://zsh.sourceforge.io/Patches/)
   )
 
 sect(I don't have root access: how do I make zsh my login shell?)
@@ -2727,4 +2727,4 @@ notice appears in all copies of this documentation.  Remember,
 however, that this document changes monthly and it may be more useful
 to provide a pointer to it rather than the entire text.  A suitable
 pointer is "information on the Z-shell can be obtained on the World
-Wide Web at URL http://zsh.sourceforge.net/".
+Wide Web at URL https://zsh.sourceforge.io/".
diff --git a/Etc/changelog2html.pl b/Etc/changelog2html.pl
index 82416bff9..de6877d97 100755
--- a/Etc/changelog2html.pl
+++ b/Etc/changelog2html.pl
@@ -1,7 +1,7 @@
 #!/usr/bin/perl -w
 
 # This programme turns the ChangeLog into changelog.html for display
-# on the website.  That lives at http://zsh.sourceforge.net/Etc/changelog.html.
+# on the website.  That lives at https://zsh.sourceforge.io/Etc/changelog.html.
 
 my $out = "changelog.html";