Rmdir

Removes a directory from the server.

Command line interface

Syntax

1. $ rmdir dirname

Arguments

• dirname – (directory) The folder you wish to delete.

Example

rmdir.php

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