Tiny

A small text editor, allows you to create or edit UTF-8 or Latin-1 encoded files.

Command line interface

Syntax

1. $ tiny [-e utf8 | latin1 | auto] filename

Arguments

• -e – (string) Character set encoding. Default: auto; UTF-8 unless latin1 is detected.
• filename – (file) The file you want to edit.

Example

tiny.php

1. <?
3. require("../plugin.php");
5. if (is_ajax()) {
6. switch ($_POST['action']) {
7. case 'cat':
8. if (!file_exists($_POST['file'])) die("2");
9. if (!is_file($_POST['file'])) die("3");
10. $file = file_get_contents($_POST['file']);
11. switch ($_POST['enc']) {
12. case 'utf8':
13. die("1".$file);
14. break;
15. case 'latin1':
16. die("0".utf8_encode($file));
17. break;
18. case 'auto':
19. default:
20. die(is_utf8($file) ? "1".$file : "0".utf8_encode($file));
21. break;
22. }
23. break;
24. case 'save':
25. die(@file_put_contents($_POST['file'], $_POST['utf8']?$_POST['data']:utf8_decode($_POST['data'])) === false ? "-1" : "1");
26. break;
27. }
28. exit;
29. }
31. ?>
33. /**
34. * Tiny text editor
35. **/
36. TinyShell.plugins.tiny = new Class({
37. description: "Basic text editor",
38. t : {},
39. cr : false,
40. utf8 : true,
41. force_enc : false,
42. run : function(t, args) {
43. this.t = t;
44. if (args.length) {
45. if (args[0] == "-e" && args.length > 2) {
46. this.force_enc = 1;
47. this.utf8 = args[1].toLowerCase() == 'utf8';
48. this.file = args[2];
49. } else this.file = args[0];
50. this.t.ajax_request(this.open, "<?php echo $_AJAX_URL?>", "action=cat&enc="+(this.force_enc?(this.utf8?"utf8":"latin1"):"auto")+"&file="+encodeURIComponent(this.file));
51. } else {
52. this.t.print("tiny: usage: tiny [-e utf8 | latin1] filename");
53. this.t.resume();
54. }
55. },
56. open: function(r) {
57. if (r.substring(0,1) == "3") {
58. this.t.print("tiny: `"+this.file+"': permission denied");
59. this.t.resume();
60. return;
61. }
63. // force cursor movements
64. this.onkeydown = function(e) {
65. switch (e.key) {
66. case "up":
67. case "down":
68. case "tab":
69. case "enter":
70. e.shift = true;
71. break;
72. case "s": // save
73. if (e.control) {
74. e.stop();
75. this.quit_after_saving = e.shift;
76. this.save();
77. return false;
78. }
79. break;
80. case "q": // quit
81. if (e.control) {
82. e.stop();
83. this.quit();
84. return false;
85. }
86. break;
87. }
88. return true;
89. }
90. // keyboard commands
91. this.onkeypress = function(e) {
92. switch (e.key) {
93. case "s": // save
94. case "q": // quit
95. if (e.control) {
96. // stop event
97. e.stop();
98. return false;
99. }
100. break;
101. }
102. return true;
103. }
104. this.t.print('Tiny commands:\nCTRL + S: Save\nCTRL + Q: Quit\nCTRL + SHIFT + S : Save and quit');
105. if (r.substring(0,1) == "2") {
106. if (!this.force_enc) this.utf8 = true;
107. r = "";
108. this.t.print("`"+this.file+"': New file");
109. } else {
110. if (!this.force_enc) this.utf8 = r.substring(0, 1) == 1;
111. r = r.substring(1);
112. this.t.print("`"+this.file+"': "+r.length+" bytes read ("+(this.utf8?"UTF-8":"Latin 1")+")");
113. }
114. this.t.set_protocol("> ").read_line(this.dummy);
115. if (r.indexOf("\r") > -1) {
116. this.cr = true;
117. r = r.replace(/\r/g, '');
118. }
119. this.t.cursor_overwrite(r);
120. this.t.cursor_move_home();
121. },
122. save : function () {
123. r = this.t.cursor_read_line();
124. if (this.cr) r = r.replace(/\n/g, "\r\n");
125. this.bytes_saved = r.length;
126. this.t.ajax_request(this.save_status, "<?php echo $_AJAX_URL?>", "action=save&utf8="+(this.utf8?"1":"0")+"&file="+encodeURIComponent(this.file)+"&data="+encodeURIComponent(r));
127. },
128. save_status : function (r) {
129. if (r < 1) this.t.print("`"+this.file+"': Permission denied");
130. else {
131. this.t.print("`"+this.file+"': "+this.bytes_saved+" bytes written on "+(new Date()).toLocaleTimeString());
132. if (this.quit_after_saving) this.quit();
133. }
134. },
135. quit : function () {
136. this.t.resume.delay(100, this.t); // delay to make sure keypress event has fired
137. },
138. dummy : function() {
139. // dummy function
140. }
141. });