Download

Enables you to download files from the server. Hint: Use Sys to zip folders before you download.

Command line interface

Syntax

1. $ download filename [filename ...]

Arguments

• filename – (file) One or more files to download.

Example

download.php

1. <?
3. require("../plugin.php");
5. if (is_ajax()) {
6. if ($_POST["action"] == 'download') {
7. if (!is_file($_POST['file'])) die("1".$_POST['file']); // not file
8. if (!is_readable($_POST['file'])) die("2".$_POST['file']); // denied
9. die("0".$_POST['file']);
10. } else if ($_POST['action'] = 'fetch') {
11. header('Content-Type: application/octet-stream');
12. header('Content-Disposition: attachment; filename="'.$_POST['file'].'"');
13. readfile($_POST['file']);
14. }
15. exit;
16. }
17. ?>
19. /**
20. * Download file
21. **/
22. TinyShell.plugins.download = new Class({
23. description: "Download files from the server",
24. run : function(terminal, args) {
25. this.t = terminal;
26. this.req = args.length;
27. this.rec = 0;
28. // async download check
29. if (args.length) for (var i = 0; i < args.length; i++) this.t.ajax_request(this.print, "<?php echo $_AJAX_URL?>", "action=download&file="+encodeURIComponent(args[i]), true);
30. else {
31. terminal.print("download: usage: download filename [filename ...]");
32. terminal.resume();
33. }
34. },
35. print: function(r) {
36. switch (r.substring(0, 1)) {
37. case "1":
38. this.t.print("download: `"+r.substring(1)+"' is not a file");
39. break;
40. case "2":
41. this.t.print("download: unable to read file `"+r.substring(1)+"'; permission denied");
42. break;
43. default:
44. r = r.substring(1);
45. this.t.print("<a href='"+this.t.create_url("<?php echo $_AJAX_URL?>", "action=fetch&file="+encodeURIComponent(r))+"' target='_blank'>Download file: "+r+"</a>", true);
46. }
47. if (++this.rec >= this.req) this.t.resume();
48. }
49. });