| 202 | |
| 203 | |
| 204 | Future<Nothing> gzip(const Path& input) |
| 205 | { |
| 206 | vector<string> argv = { |
| 207 | "gzip", |
| 208 | input |
| 209 | }; |
| 210 | |
| 211 | return launch("gzip", argv) |
| 212 | .then([]() { return Nothing(); }); |
| 213 | } |
| 214 | |
| 215 | |
| 216 | Future<Nothing> decompress(const Path& input) |