Online/offline and new version handling

[koppor]

We want to ship gg.cmd with a VSCode extension and then say

.\gg.cmd jbang --fresh https://github.com/JabRef/jabref/blob/main/.jbang/JabLsLauncher.java

However, this should not be done if offline - offline

.\gg.cmd jbang --offline https://github.com/JabRef/jabref/blob/main/.jbang/JabLsLauncher.java

Moreover, we want to have a weekly call to

.\gg.cmd update jbang

We thought about a small script to check for online and offline. But this seems to be hard to do in a portable way.

Is just and justfile the answer?

[eirikb]

Doing some housekeeping in old discussions.

Turns out you mostly don't need this. gg already runs from cache without touching the network - if the tool is there it returns before any request goes out. I tested it with the network blocked:

gg.cmd java@21-graal --version     works, straight from cache

So shipping gg.cmd with the extension and running it offline should be fine already, as long as the tools were fetched once.

What does need network is the first download, and gg update jbang. For the weekly update I would just run it and let it fail quietly rather than trying to detect online/offline first - that check is miserable to do portably, so I don't think just buys you anything here.

One rough edge: offline you get "No matching download found for OS: Linux, Arch: X86_64", which is not exactly pointing at the real problem. I guess we ought to fix that one. Someday.

Closing this