()
| 233 | |
| 234 | // .zip, .tar, .tgz, .zip.js, .zip.py, etc. |
| 235 | getArchiveExtensions(): string[] { |
| 236 | const exts = Array.from(extractors.keys()); |
| 237 | for (const e of extractors.keys()) for (const i of this.interpreters.keys()) exts.push(e + i); |
| 238 | return exts; |
| 239 | } |
| 240 | |
| 241 | /** |
| 242 | * Returns the path to watch, relative to the current working directory, for |