Transpiled version (2806L) is out of date.
1 | svoid gzip2xz(S gzInFile, S xzOutFile) {
|
2 | gzip2xz(newFile(gzInFile), newFile(xzOutFile)); |
3 | } |
4 | |
5 | static File gzip2xz(File gzInFile) {
|
6 | File xzOutFile = replaceExtension(gzInFile, ".gz", ".xz"); |
7 | ret gzip2xz(gzInFile, xzOutFile); |
8 | } |
9 | |
10 | static File gzip2xz(File gzInFile, File xzOutFile) {
|
11 | printFileInfo("Converting to .xz", gzInFile);
|
12 | long time = sysNow(); |
13 | copyStreamAndCloseAll( |
14 | gzipInputStream(gzInFile), |
15 | xzOutputStream(xzOutFile)); |
16 | printFileInfo("Converted in " + renderElapsedTimePleasantly_100ms(sysNow()-time), xzOutFile);
|
17 | ret xzOutFile; |
18 | } |
download show line numbers debug dex old transpilations
Travelled to 7 computer(s): bhatertpkbcr, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt, xrpafgyirdlv
No comments. add comment
| Snippet ID: | #1028987 |
| Snippet name: | gzip2xz |
| Eternal ID of this version: | #1028987/7 |
| Text MD5: | b26945d83f5181d5afaaf7984bf8cab5 |
| Author: | stefan |
| Category: | javax |
| Type: | JavaX fragment (include) |
| Public (visible to everyone): | Yes |
| Archived (hidden from active list): | No |
| Created/modified: | 2020-07-21 23:51:21 |
| Source code size: | 575 bytes / 18 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 469 / 607 |
| Version history: | 6 change(s) |
| Referenced in: | [show references] |