Cat

Prints the content of a file on the server.

Command line interface

Syntax

1. $ cat filename

Arguments

• filename – (file) The file to print.

Example

cat.php

1. <?
3. require("../plugin.php");
5. if (is_ajax()) {
6. if ($_POST["action"] == 'cat') {
7. if (!is_file($_POST['file']) || !is_readable($_POST['file'])) die("1");
8. $file = file_get_contents($_POST['file']);
9. die("0".(is_utf8($file) ? $file : utf8_encode($file)));
10. }
11. exit;
12. }
13. ?>
15. /**
16. * Cat file
17. **/
18. TinyShell.plugins.cat = new Class({
19. description: "Show file",
20. run : function(terminal, args) {
21. this.t = terminal;
22. if (args.length) {
23. this.file = args[0];
24. this.t.ajax_request(this.print, "<?php echo $_AJAX_URL?>", "action=cat&file="+encodeURIComponent(this.file));
25. } else {
26. terminal.print("cat: usage: cat filename");
27. terminal.resume();
28. }
29. },
30. print: function(r) {
31. if (r.substring(0, 1) != "0") this.t.print("cat: `"+this.file+"' is not a file");
32. else this.t.print(r.substring(1));
33. this.t.resume();
34. }
35. });