Rm

Deletes a file from the server.

Command line interface

Syntax

1. $ rm filename

Arguments

• filename – (file) The file you wish to remove.

Example

Todo

• Add support for recursive delete
• Add support for multiple filenames

rm.php

1. <?
3. require("../plugin.php");
5. if (is_ajax()) {
6. if ($_POST["action"] == 'rm') {
7. if (!file_exists($_POST['file'])) die("1");
8. if (is_dir($_POST['file'])) die("2");
9. die(@unlink($_POST['file']) ? "0" : "3");
10. }
11. exit;
12. }
13. ?>
15. /**
16. * Remove file
17. **/
18. TinyShell.plugins.rm = new Class({
19. description: "Remove file",
20. run : function(terminal, args) {
21. this.t = terminal;
22. if (args.length != 1) {
23. terminal.print("rm: usage: rm filename");
24. terminal.resume();
25. } else {
26. this.file = args[0];
27. this.t.ajax_request(this.print, "<?php echo $_AJAX_URL?>", "action=rm&file="+encodeURIComponent(this.file));
28. }
29. },
30. print: function(r) {
31. if (r == "1") this.t.print("rm: file `"+this.file+"'; file does not exist");
32. else if (r == "2") this.t.print("rm: file `"+this.file+"'; is a directory");
33. else if (r == "3") this.t.print("rm: file `"+this.file+"'; permission denied");
34. else this.t.print();
35. this.t.resume();
36. }
37. });