Status report: Leo's new website

[Edward K. Ream]

The transition to Leo's new website at https://leo-editor.github.io/leo-editor/ will happen later today. We gain nothing by delaying this transition. It will be easy to fix broken links because Speed's server retains all its old files.

The transition will be complete when I load this page (renamed index.html) to Speed's server. This page is the new home page for leoeditor.com. As you can see, it just says that Leo's website has moved, giving the new url.

The new (redirection) home page for leoeditor.com should help Google find Leo's new home page.

Edward

P.S. Info item #3019 lists why moving Leo's website is worth doing, even if GitHub Pages were to disappear tomorrow:

- The leo-editor/docs directory shows explicitly what Leo's new website contains.
  This directory also contains a few transition files.
- The @button find-bad-links script in LeoDocs.leo is an excellent addition.
- Info item #3041 is long overdue.

EKR

[Edward K. Ream]

On Thursday, January 12, 2023 at 5:57:32 AM UTC-6 Edward K. Ream wrote:

> The transition to Leo's new website at https://leo-editor.github.io/leo-editor/ will happen later today.

Done!

-  leoeditor.com redirects visitors to https://leo-editor.github.io/leo-editor/.

- I have closed #3019. As noted in this issue, there is no need for a corresponding PR.

The highlight of Leo 6.7.2 will be new website. Please report any problems immediately.

Edward

[Edward K. Ream]

On Thursday, January 12, 2023 at 5:57:32 AM UTC-6 Edward K. Ream wrote:

The transition to Leo's new website at https://leo-editor.github.io/leo-editor/ will happen later today. We gain nothing by delaying this transition. It will be easy to fix broken links because Speed's server retains all its old files.

The transition will be complete when I load this page (renamed index.html) to Speed's server. This page is the new home page for leoeditor.com. As you can see, it just says that Leo's website has moved, giving the new url.

Good news. Speed has redirected the leoeditor.com domain to the new domain. All links to Leo's legacy website will redirect to the new site until February of next year. Redirecting the domain was just a matter of adjusting Speed's DNS table. Speed could do that himself, without the regulatory steps needed to reassign the domain.

In short, nobody will see the ugly redirection page for at least another year.

Edward

[Thomas Passin]

The Github README.md file on Github still has its links pointing to leoeditor.com.  The links have been changed in devel, but master is what people will land on when coming to the site.

[Thomas Passin]

I think what I'm seeing is that Speed's redirect of leoeditor.com is not in effect yet.  I wonder how long it takes for a redirect to ripple through the system.

[Edward K. Ream]

On Friday, January 20, 2023 at 9:07:36 AM UTC-6 tbp1...@gmail.com wrote:

I think what I'm seeing is that Speed's redirect of leoeditor.com is not in effect yet. 

The redirection took effect (for me) almost immediately. That was a week or more ago.

Edward

[Thomas Passin]

Hmm, I tried two different browsers and used CTRL-F5 to force a re-read.  I wonder what the difference is?

[Edward K. Ream]

On Fri, Jan 20, 2023 at 9:49 AM Thomas Passin <tbp1...@gmail.com> wrote:

Hmm, I tried two different browsers and used CTRL-F5 to force a re-read.  I wonder what the difference is?

Have you cleared the browsers' caches?

Edward

[jkn]

do you have some weird DNS cache, or something? leoeditor.com takes me to https://leo-editor.github.io/leo-editor/

(Edward) BTW, I would suggest you have a link to the github *rep* more prominently on the homepage. It takes a bit of looking to find

== (Title - Installing Git with Leo) ==

git clone --depth=500 --no-single-branch https://github.com/leo-editor/leo-editor

or to realise that you can just browse to: https://github.com/leo-editor/leo-editor

The readme.md there would be good to have an 'installing leo from git' section BTW.

Regards, J^n

[Thomas Passin]

Yes I have.  I also opened up a VM that had not looked at Github.  It still had the old, not-redirected pages.  So either my Windows 10 system is somehow caching outside of the browsers, or there is some intermediate cache outside my computer that hasn't gotten the word.  I get the network via Comcast, FWIW.

[Edward K. Ream]

On Fri, Jan 20, 2023 at 10:25 AM jkn <jkn...@nicorp.f9.co.uk> wrote:

do you have some weird DNS cache, or something? leoeditor.com takes me to https://leo-editor.github.io/leo-editor/

(Edward) BTW, I would suggest you have a link to the github *rep* more prominently on the homepage. It takes a bit of looking to find

== (Title - Installing Git with Leo) ==

git clone --depth=500 --no-single-branch https://github.com/leo-editor/leo-editor

or to realise that you can just browse to: https://github.com/leo-editor/leo-editor

The readme.md there would be good to have an 'installing leo from git' section BTW.

All these suggestions look reasonable. Please submit a PR.  Thanks.

Edward

[jkn]

assuming you meant an issue (!), I have done so: https://github.com/leo-editor/leo-editor/issues/3077

Regards, J^n

[Edward K. Ream]

On Fri, Jan 20, 2023 at 5:03 PM jkn <jkn...@nicorp.f9.co.uk> wrote:

assuming you meant an issue (!), I have done so: https://github.com/leo-editor/leo-editor/issues/3077

Thanks! I was hoping for a PR, but I'll settle for these detailed suggestions ;-)

Edward

[jkn]

sorry - I appreciate that a PR would have been nicer for you, but with my current non-leo workload

it would be unlikely to happen for quite a while...

J^n

[Edward K. Ream]

On Sat, Jan 21, 2023 at 3:33 AM jkn <jkn...@nicorp.f9.co.uk> wrote:

sorry - I appreciate that a PR would have been nicer for you, but with my current non-leo workload

it would be unlikely to happen for quite a while...

No problem :-) Your suggestions suffice.

Edward

[lewis]

At https://groups.google.com/g/leo-editor the line

Welcome to Leo's Google Group.

needs the link updated to https://leo-editor.github.io/leo-editor

Lewis