()
| 175 | } |
| 176 | |
| 177 | @Override |
| 178 | public void run() { |
| 179 | String path = console.getNavigator().getCurrentDirectory(); |
| 180 | |
| 181 | if (console.getNavigator().checkDirectory(path + "/" + body.trim())) { |
| 182 | Node node = console.getNavigator().getDirectory(path + "/" + body.trim()); |
| 183 | console.getNavigator().sendToOblivion(node); |
| 184 | ExitParser.writeDocToZip(node.getOwnerDocument(), console.getNavigator().getSystem()); |
| 185 | } else { |
| 186 | Console.printText(termArea, String.format("rm: \"%s\" does not exist", body)); |
| 187 | } |
| 188 | |
| 189 | } |
| 190 | |
| 191 | } |
nothing calls this directly
no test coverage detected