fengari.io

[Bat1963]

Hello, the website (fengari.io) seems to have disappeared. I eventually learnt that it was very useful to test stuff out. Does it need a new VPS or something? I have a few cheappie ones if it will run from a folder. Happy to contribute towards this as I haven't donated anything to the project so far.

[daurnimator]

I think @giann got sick of paying the renewal fee for the .io which is non-trivial?

I have VPS(s) we can host on. Or really we could just host the site off github pages because it's all static.

[Bat1963]

Could you possibly let me know the domain name cost and whether Giann would be willing to reinstate it with some financiaI help. Hopefully not loads. I will be able to let you know if I can help. Fengari.net isn't too dear. Cheers for now.

-- Jon Cooper @.***

On Tue, 26 Mar 2024, at 1:45 AM, daurnimator wrote:

I think @giann https://github.com/giann got sick of paying the renewal fee for the .io which is non-trivial?

I have VPS(s) we can host on. Or really we could just host the site off github pages because it's all static.

— Reply to this email directly, view it on GitHub https://github.com/fengari-lua/fengari/issues/216#issuecomment-2019236205, or unsubscribe https://github.com/notifications/unsubscribe-auth/A234656YBAVY3IO6NB57J5DY2DHKPAVCNFSM6AAAAABFIAGKTGVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDAMJZGIZTMMRQGU. You are receiving this because you authored the thread.Message ID: @.***>

[giann]

I still have the domain but i shut down the digital ocean droplet.

[Bat1963]

Presumably that's the expensive bit? I've never used DO, sorry, just plain simple stuff. Does DO give you a certificate or something? I haven't tangled with https stuff either. How much is the droplet and what does it do ;-? Complete DO numpty here.

-- Jon Cooper @.***

On Tue, 26 Mar 2024, at 2:16 PM, Benoit Giannangeli wrote:

I still have the domain but i shut down the digital ocean droplet.

— Reply to this email directly, view it on GitHub https://github.com/fengari-lua/fengari/issues/216#issuecomment-2020551526, or unsubscribe https://github.com/notifications/unsubscribe-auth/A23465YFAIKTYZIKJSKME53Y2FYKVAVCNFSM6AAAAABFIAGKTGVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDAMRQGU2TCNJSGY. You are receiving this because you authored the thread.Message ID: @.***>

[Bat1963]

Apologies, I see a do droplet is a vps. I have 3 cheappie ones (don't we all) and am happy in priinciple to take forwards from the domain, if that is any use. Just need to get my head around the details. But it could happen - just let me know.

-- Jon Cooper @.***

On Tue, 26 Mar 2024, at 2:16 PM, Benoit Giannangeli wrote:

I still have the domain but i shut down the digital ocean droplet.

— Reply to this email directly, view it on GitHub https://github.com/fengari-lua/fengari/issues/216#issuecomment-2020551526, or unsubscribe https://github.com/notifications/unsubscribe-auth/A23465YFAIKTYZIKJSKME53Y2FYKVAVCNFSM6AAAAABFIAGKTGVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDAMRQGU2TCNJSGY. You are receiving this because you authored the thread.Message ID: @.***>

[ryanford]

Does the website need a backend? Taking a peak on the site repo looks like it's just using lapis to serve etlua templating but that could be compiled AoT and served as static files. I think it be hosted on GitHub pages without cost to you.

[Bat1963]

Cool, I only know lighttpd so I am not sure I can help easily but happy to try. Just let me know.

-- Jon Cooper @.***

On Tue, 26 Mar 2024, at 4:25 PM, ryanford wrote:

Does the website need a backend? Taking a peak on the site repo looks like it's just using lapis to serve etlua templating but that could be compiled AoT and served as static files. I think it be hosted on GitHub pages without cost to you.

— Reply to this email directly, view it on GitHub https://github.com/fengari-lua/fengari/issues/216#issuecomment-2020903041, or unsubscribe https://github.com/notifications/unsubscribe-auth/A234653NEPUWKA4DAEMOYDDY2GOPRAVCNFSM6AAAAABFIAGKTGVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDAMRQHEYDGMBUGE. You are receiving this because you authored the thread.Message ID: @.***>

[garryspins]

We really could use this back up

[Bat1963]

I agree. Folk have suggestions and I am going to see if I can help although I don't have any experience in what's needed, plus other deadlines (damnation).

[giann]

An easier option might be to donate enough through github sponsor for me to pay the VPS.

Otherwise anyone able to setup the site can show it to me and i can point the DNS to it.

[Bat1963]

Donated ;-)

[leafo]

I deployed it here: https://fengari.moonscript.org/

I set up cloudflare to proxy for https. If you want to point to there (CNAME to fengari.moonscript.org) and don't want to use something like cloudflare to enable https then I can set up letsencrypt for the domain after it's pointing there.

Does the website need a backend? Taking a peak on the site repo looks like it's just using lapis to serve etlua templating but that could be compiled AoT and served as static files. I think it be hosted on GitHub pages without cost to you.

Doesn't look like it, the current site can be hosted on github pages.

Lapis can be used to generate a static version of the site with something like:

lapis simulate / > index.html
lapis simulate /repl > repl

This can be done in a github action.

[giann]

Thanks @leafo. I'll update the DNS tomorrow.

@Bat1963 let me know if you want your donation refunded.

[Bat1963]

No worries, my friend, you funded this enough yourself over the years, so I am happy to contribute.

I recently added a bit to my tutorial here: https://www.ucl.ac.uk/~rmhajc0/fengarilua.html

If you have a minute, please let me know of any major bloomers or omissions.

Best wishes, Jon.C.

P.S. the snapshots on the internet archive, e.g. https://web.archive.org/web/20240210092430/https://fengari.io/ actually work for testing code. I was impressed.

[vitiral]

that's what you (hopefully) get when it's 100% self-contained html and javascript 😄

[Bat1963]

For a laugh, I saved the files with my browser, put them here and it works: http://ic50.org/fengari/ !!

Miracles happen, but it's not https.

[giann]

@leafo can you give me an IP? A redirection with CNAME is only possible for a subdomain.

Edit: Trying with an ALIAS record just now

[giann]

I recently added a bit to my tutorial here: https://www.ucl.ac.uk/~rmhajc0/fengarilua.html

@Bat1963 This is cool! Maybe format the code. 0 indentation is a little hardcore :)

[Bat1963]

This one is a bit prettier: https://justpaste.it/8cb7f

[leafo]

@leafo can you give me an IP? A redirection with CNAME is only possible for a subdomain.

Edit: Trying with an ALIAS record just now

You can use 173.255.218.206

[giann]

@leafo fengari.io points to that IP now but https is ko.

[Bat1963]

Great work. Thank you both so much for doing this. Amazingly, I did manage to get letsencrypt, certbot and lighttpd to all work on one of my VPS's but I haven't done it for the one mentioned above yet. Do let me know if that would be of any use.

Jon Cooper @.***

On Mon, 8 Apr 2024, at 8:14 AM, Benoit Giannangeli wrote:

@leafo https://github.com/leafo fengari.io points to that IP now but https is ko.

— Reply to this email directly, view it on GitHub https://github.com/fengari-lua/fengari/issues/216#issuecomment-2042022072, or unsubscribe https://github.com/notifications/unsubscribe-auth/A234657Y3NRLO7VIDJG3JVLY4I7WDAVCNFSM6AAAAABFIAGKTGVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDANBSGAZDEMBXGI. You are receiving this because you were mentioned.Message ID: @.***>

[Bat1963]

P.S. Also, it would be great to have the web site mentioned in the side bar on github again.

-- Jon Cooper @.***

On Mon, 8 Apr 2024, at 4:17 PM, Jon Cooper wrote:

Great work. Thank you both so much for doing this. Amazingly, I did manage to get letsencrypt, certbot and lighttpd to all work on one of my VPS's but I haven't done it for the one mentioned above yet. Do let me know if that would be of any use.

Jon Cooper @.***

On Mon, 8 Apr 2024, at 8:14 AM, Benoit Giannangeli wrote:

@leafo https://github.com/leafo fengari.io points to that IP now but https is ko.

— Reply to this email directly, view it on GitHub https://github.com/fengari-lua/fengari/issues/216#issuecomment-2042022072, or unsubscribe https://github.com/notifications/unsubscribe-auth/A234657Y3NRLO7VIDJG3JVLY4I7WDAVCNFSM6AAAAABFIAGKTGVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDANBSGAZDEMBXGI. You are receiving this because you were mentioned.Message ID: @.***>

[daurnimator]

that's what you (hopefully) get when it's 100% self-contained html and javascript 😄

*html, javascript and lua

:)

Lapis can be used to generate a static version of the site

oh interesting!

But looks like it's all being handled now

[Bat1963]

Any chance we can put a link to fengari.io back in the github pages? I think it would help as it flags up what fengari can do. Just trying to sell this stuff for you folks ;-0 ;-0

[giann]

@Bat1963 I'd like https to be fixed first. @leafo can you look into it?

[Bat1963]

Hello

After a long battle with openvz running an old version of ubuntu, lighttpd and certbot, this one is https now.

https://ic50.org/fengari/

Feel free to forward to it. I try to maintain that site quite regularly.

Best wishes

Jon Cooper @.***

On Thu, 18 Apr 2024, at 7:52 AM, Benoit Giannangeli wrote:

@Bat1963 https://github.com/Bat1963 I'd like https to be fixed first. @leafo https://github.com/leafo can you look into it?

— Reply to this email directly, view it on GitHub https://github.com/fengari-lua/fengari/issues/216#issuecomment-2063148471, or unsubscribe https://github.com/notifications/unsubscribe-auth/A23465456W7WZF2CMKS2DXTY55UTDAVCNFSM6AAAAABFIAGKTGVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDANRTGE2DQNBXGE. You are receiving this because you were mentioned.Message ID: @.***>

[Bat1963]

Hello folks. Well, there's now a version of the fengari.io website that is https of sorts (my previous msg). I think it's OK. Just wondering if that would help with putting the website back on the github page? Best wishes from Bat1963

Update: vps updated to Ubuntu 22.04 and we're still https ;-0 ;-0

[0komo]

There should be a Github pages hosted of fengari.io if the community-provided one are all dead.