search

congo-cc / congo-parser-generator

The CongoCC Parser Generator, the Next Generation of JavaCC 21, which in turn was the next generation of JavaCC
https://discuss.congocc.org/
Other
36 stars 11 forks source link

deployment of https://parsers.org/download/congocc-full.jar #33

Closed stbischof closed 1 year ago

stbischof commented 1 year ago

How is the process of deploying to https://parsers.org/download/congocc-full.jar. how could I find out when you push a new version to this location?

revusky commented 1 year ago

I just use scp. The command on my local box is just:

 scp congocc-full.jar parsers.org:~/www/parsers.org/download

As for whether I have any particular "system" for when I do this (which you didn't ask but I figure you probably are about to) the answer is that I don't really have much of a system I follow. I typically put up a new jar when it seems that I fixed/added something that people ought to have. If you just run:

      java -jar congocc-full.jar

on the command line, it says when the thing was built. Currently (I just checked) it says:

    CongoCC Parser Generator (congocc-full.jar built by revusky on 2023-04-14)

So that's a build from 5 days ago. Oh, and typically, if there is newer jarfile on the server than the one you have, it tells you and offers to grab it, as in:

 Found newer version of congocc at https://parsers.org/download/congocc-full.jar
 Download it? (y/N)

I guess I put all that in place 3 years ago and never did anything with it. That was my "release system". (LOL) Well, apparently, that is too simple and people need something more complicated, so here we are...

stbischof commented 1 year ago

@revusky could you do a version push for me?

revusky commented 1 year ago

@revusky could you do a version push for me?

You mean just put up the latest jar, right?

Sure, no problem. I'm out eating lunch. When I get back in front of my computer, I'll do it

(I wrote this on my phone.)

stbischof commented 1 year ago

@revusky is there any official way to contact you? mail/emeeting?

revusky commented 1 year ago

You can use the email address on my Github profile page. My last name plus any domain name I own should work fine as well, i.e. revusky(at)congocc.org for example. My skype user name is just my last name. My Whatsapp is (+34)634513047 but with the last two digits reversed.

All the aforementioned channels should work, but none of them are any more "official" than any other.

I just put up a new jarfile on the server.

stbischof commented 1 year ago

got it. thx