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: | 203 / 302 |
Version history: | 6 change(s) |
Referenced in: | [show references] |