/jEdit/tags/jedit-4-0-pre5/bsh/commands/rm.bsh

 1
 2bsh.help.rm = "usage: cd( path )";
 3
 4rm( String pathname ) {
 5    file = pathToFile( pathname );
 6
 7	if ( file == null )
 8		throw new java.io.FileNotFoundException("pathname");
 9
10    if ( file.isDirectory() ) {
11        print( pathname + "is a directory" );
12        return;
13    }
14
15	return file.delete();
16}
17