PageRenderTime 36ms CodeModel.GetById 13ms RepoModel.GetById 0ms app.codeStats 0ms

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

#
Unknown | 20 lines | 14 code | 6 blank | 0 comment | 0 complexity | 85ad2f687e6c15fb6c647845c3a09388 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 
    

  1. /**
    2. 

  2. 	Remove the file (like Unix rm)
    3. 

  3. */
    4. 

  4. 

  5. bsh.help.rm = "usage: cd( path )";
    6. 

  6. 

  7. void rm( String pathname ) {
    8. 

  8.     file = pathToFile( pathname );
    9. 

  9. 

  10. 	if ( file == null )
    11. 

  11. 		throw new java.io.FileNotFoundException("pathname");
    12. 

  12. 

  13.     if ( file.isDirectory() ) {
    14. 

  14.         print( pathname + "is a directory" );
    15. 

  15.         return;
    16. 

  16.     }
    17. 

  17. 

  18. 	return file.delete();
    19. 

  19. }
    20. 

  20. 

  21.