1 | static String backtickJavax(String javaxargs) ctex {
|
2 | File x20file = new File(userHome(), ".javax/x20.jar"); |
3 | if (!x20file.isFile()) {
|
4 | String url = "http://tinybrain.de/x20.jar"; |
5 | byte[] data = loadBinaryPage(url); |
6 | if (data.length < 1000000) |
7 | fail("Could not load " + url);
|
8 | saveBinaryFile(x20file.getPath(), data); |
9 | } |
10 | String jarPath = x20file.getPath(); |
11 | String cmd = "java -jar " + (isWindows() ? winQuote(jarPath) : bashQuote(jarPath)) + " " + javaxargs; |
12 | print("Running: " + cmd);
|
13 | return backtick(cmd); |
14 | } |
Began life as a copy of #1000838
download show line numbers debug dex old transpilations
Travelled to 13 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
| Snippet ID: | #1000853 |
| Snippet name: | backtickJavax |
| Eternal ID of this version: | #1000853/1 |
| Text MD5: | 27fb825495a6b415fb4f5b0d9c97345d |
| Author: | stefan |
| Category: | |
| Type: | JavaX fragment (include) |
| Public (visible to everyone): | Yes |
| Archived (hidden from active list): | No |
| Created/modified: | 2015-08-30 17:25:45 |
| Source code size: | 549 bytes / 14 lines |
| Pitched / IR pitched: | No / Yes |
| Views / Downloads: | 681 / 872 |
| Referenced in: | [show references] |