Removes the given file or directory.
(File fileOrDir)
| 77 | |
| 78 | /** Removes the given file or directory. */ |
| 79 | public void rm(File fileOrDir) { |
| 80 | run(() -> { |
| 81 | if (fileOrDir.exists()) { |
| 82 | FileMisc.forceDelete(fileOrDir); |
| 83 | } |
| 84 | }); |
| 85 | } |
| 86 | |
| 87 | /** Removes the given file or directory. */ |
| 88 | public void copy(File src, File dst) { |
nothing calls this directly
no test coverage detected