/jEdit/tags/jedit-4-3-pre5/bsh/commands/rm.bsh
Unknown | 21 lines | 15 code | 6 blank | 0 comment | 0 complexity | a507a6565951722d8c7c10bdda6dc69b MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
- /**
- Remove a file (like Unix rm).
- */
- bsh.help.rm = "usage: cd( path )";
- boolean rm( String pathname )
- {
- this.file = pathToFile( pathname );
- if ( file == null )
- throw new java.io.FileNotFoundException("pathname");
- if ( file.isDirectory() ) {
- print( pathname + "is a directory" );
- return;
- }
- return file.delete();
- }