I'm comfortable with this approach. Once the new site is up and working, let's try contacting each site that we know references leoeditor.com and inform them of the change. That won't catch everything but I don't know what else we can do, once leoeditor.com itself lapses at some point in the future.
On Sunday, January 1, 2023 at 6:26:11 AM UTC-5 Edward K. Ream wrote: > > *Félix*: the technique referenced by Edward at https://pages.github.com/, > (which I used for https://boltex.github.io/) would yield the URL > https://leo-editor.github.io/ which I feel is totally acceptable, and > would be available without maintenance nor fees, for years if not decades. > > > *Thomas*: I agree. There are sites out there that refer to leoeditor.com, > like the LeoVue web site. It would probably be good if those links could > still work for some time as we got the new site going. > > I'm convinced. We should phase out leoeditor.com in favor of a new > website hosted on GitHub. Using ensure that Leo's website (including > documentation) will continue after my brother and I are gone. > > I have just updated #3019 > <https://github.com/leo-editor/leo-editor/issues/3019> with the following > plan: > > 1. Create a new website using GitHub pages. Details (and url) unclear at > present. > I expect to continue to use Sphinx to create Leo's documentation. > > 2. When all looks good (and works as expected), change the top-level > leo-editor.com page so that it redirects visitors to the new url. We will > *not > *transfer leo-editor.com domain itself to the new site. > > This plan eliminates the need to change the DNS entries for leoeditor.com. > Eventually leoeditor.com will "wither away". > > Any comments or suggestions? > > Edward > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/2625e440-4f98-49bc-887a-15b2b2033fd8n%40googlegroups.com.
