1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
|
# .tlv file generated by https://github.com/akkartik/teliva
# You may edit it if you are careful; however, you may see cryptic errors if you
# violate Teliva's assumptions.
#
# .tlv files are representations of Teliva programs. Teliva programs consist of
# sequences of definitions. Each definition is a table of key/value pairs. Keys
# and values are both strings.
#
# Lines in .tlv files always follow exactly one of the following forms:
# - comment lines at the top of the file starting with '#' at column 0
# - beginnings of definitions starting with '- ' at column 0, followed by a
# key/value pair
# - key/value pairs consisting of ' ' at column 0, containing either a
# spaceless value on the same line, or a multi-line value
# - multiline values indented by more than 2 spaces, starting with a '>'
#
# If these constraints are violated, Teliva may unceremoniously crash. Please
# report bugs at http://akkartik.name/contact
- __teliva_timestamp: original
str_helpers:
>-- some string helpers from http://lua-users.org/wiki/StringIndexing
>
>-- index characters using []
>getmetatable('').__index = function(str,i)
> if type(i) == 'number' then
> return string.sub(str,i,i)
> else
> return string[i]
> end
>end
>
>-- ranges using (), selected bytes using {}
>getmetatable('').__call = function(str,i,j)
> if type(i)~='table' then
> return string.sub(str,i,j)
> else
> local t={}
> for k,v in ipairs(i) do
> t[k]=string.sub(str,v,v)
> end
> return table.concat(t)
> end
>end
>
>-- iterate over an ordered sequence
>function q(x)
> if type(x) == 'string' then
> return x:gmatch('.')
> else
> return ipairs(x)
> end
>end
>
>-- insert within string
>function string.insert(str1, str2, pos)
> return str1:sub(1,pos)..str2..str1:sub(pos+1)
>end
>
>function string.remove(s, pos)
> return s:sub(1,pos-1)..s:sub(pos+1)
>end
>
>-- TODO: backport utf-8 support from Lua 5.3
- __teliva_timestamp: original
debugy:
>debugy = 5
- __teliva_timestamp: original
dbg:
>-- helper for debug by print; overlay debug information towards the right
>-- reset debugy every time you refresh screen
>function dbg(window, s)
> local oldy = 0
> local oldx = 0
> oldy, oldx = window:getyx()
> window:mvaddstr(debugy, 60, s)
> debugy = debugy+1
> window:mvaddstr(oldy, oldx, '')
>end
- __teliva_timestamp: original
check_eq:
>function check_eq(x, expected, msg)
> if x == expected then
> curses.addch('.')
> else
> print('F - '..msg)
> print(' expected '..tostring(expected)..' but got '..x)
> teliva_num_test_failures = teliva_num_test_failures + 1
> -- overlay first test failure on editors
> if teliva_first_failure == nil then
> teliva_first_failure = msg
> end
> end
>end
- __teliva_timestamp: original
map:
>-- only for arrays
>function map(l, f)
> result = {}
> for _, x in ipairs(l) do
> table.insert(result, f(x))
> end
> return result
>end
- __teliva_timestamp: original
reduce:
>-- only for arrays
>function reduce(l, f, init)
> result = init
> for _, x in ipairs(l) do
> result = f(result, x)
> end
> return result
>end
- __teliva_timestamp: original
filter:
>-- only for arrays
>function filter(l, f)
> result = {}
> for _, x in ipairs(l) do
> if f(x) then
> table.insert(result, x)
> end
> end
> return result
>end
- __teliva_timestamp: original
find_index:
>function find_index(arr, x)
> for n, y in ipairs(arr) do
> if x == y then
> return n
> end
> end
>end
- __teliva_timestamp: original
trim:
>function trim(s)
> return s:gsub('^%s*', ''):gsub('%s*$', '')
>end
- __teliva_timestamp: original
split:
>function split(s, d)
> result = {}
> for match in (s..d):gmatch("(.-)"..d) do
> table.insert(result, match);
> end
> return result
>end
- __teliva_timestamp: original
append:
>function append(target, src)
> for _, line in ipairs(src) do
> table.insert(target, line)
> end
>end
- __teliva_timestamp: original
clear:
>function clear(lines)
> while #lines > 0 do
> table.remove(lines)
> end
>end
- __teliva_timestamp: original
zap:
>function zap(target, src)
> clear(target)
> append(target, src)
>end
- __teliva_timestamp: original
window:
>window = curses.stdscr()
- __teliva_timestamp: original
render_line:
>function render_line(window, y, line)
> window:mvaddstr(y, 0, '')
> for i=1,string.len(line) do
> window:addstr(line[i])
> end
>end
- __teliva_timestamp: original
render_link:
>function render_link(window, y, line)
> local rendered_line = string.gsub(line, '=>%s*%S*%s*', '')
> if trim(rendered_line) == '' then
> rendered_line = line
> end
> render_line(window, y, rendered_line)
>end
- __teliva_timestamp: original
state:
>state = {
> lines={},
> history={},
> highlight_index=0,
> source=false, -- show source (link urls, etc.)
>}
- __teliva_timestamp: original
render_page:
>function render_page(window)
> local y = 0
> window:attron(curses.color_pair(6))
> print(state.url)
> window:attroff(curses.color_pair(6))
> y = y+2
>--? dbg(window, state.highlight_index)
> for i, line in pairs(state.lines) do
> if not state.source and string.find(line, '=> ') == 1 then
> if state.highlight_index == 0 or i == state.highlight_index then
> -- highlighted link
> state.highlight_index = i -- TODO: ugly state update while rendering, just for first render after gemini_get
> curses.attron(curses.A_REVERSE)
> render_link(window, y, line)
> curses.attroff(curses.A_REVERSE)
> else
> -- link
> curses.attron(curses.A_BOLD)
> render_link(window, y, line)
> curses.attroff(curses.A_BOLD)
> end
> else
> -- non-link
> render_line(window, y, line)
> end
> y = y+1
> end
>end
- __teliva_timestamp: original
render:
>function render(window, lines)
> window:clear()
> render_page(window, lines)
> curses.curs_set(0)
> window:refresh()
>end
- __teliva_timestamp: original
menu:
>menu = {
> {'Enter', 'go to highlight'},
> {'<-', 'back'},
> {'^g', 'enter url'},
> {'^u', 'view source'},
>}
- __teliva_timestamp: original
edit_line:
>function edit_line(window)
> local result = ''
> local cursor = 1
> local screen_rows, screen_cols = window:getmaxyx()
> menu = {
> {'enter', 'submit'},
> {'ctrl-g', 'cancel'},
> {'ctrl-u', 'clear'},
> }
> while true do
> window:mvaddstr(screen_rows-1, 9, '')
> window:clrtoeol()
> window:mvaddstr(screen_rows-1, 9, result)
> window:attron(curses.A_REVERSE)
> -- window:refresh()
> local key = curses.getch()
> window:attrset(curses.A_NORMAL)
> if key >= 32 and key < 127 then
> local screen_rows, screen_cols = window:getmaxyx()
> if #result < screen_cols then
> result = result:insert(string.char(key), cursor-1)
> cursor = cursor+1
> end
> elseif key == curses.KEY_LEFT then
> if cursor > 1 then
> cursor = cursor-1
> end
> elseif key == curses.KEY_RIGHT then
> if cursor <= #result then
> cursor = cursor+1
> end
> elseif key == curses.KEY_BACKSPACE then
> if cursor > 1 then
> cursor = cursor-1
> result = result:remove(cursor)
> end
> elseif key == 21 then -- ctrl-u
> result = ''
> cursor = 1
> elseif key == 10 then -- enter
> return result
> elseif key == 7 then -- ctrl-g
> return nil
> end
> end
>end
- __teliva_timestamp: original
is_link:
>function is_link(line)
> return string.find(line, '=>%s*%S*%s*') == 1
>end
- __teliva_timestamp: original
next_link:
>function next_link()
> local new_index = state.highlight_index
> while true do
> new_index = new_index+1
> if new_index > #state.lines then return end
> if is_link(state.lines[new_index]) then break end
> end
> state.highlight_index = new_index
>end
- __teliva_timestamp: original
previous_link:
>function previous_link()
> local new_index = state.highlight_index
> while true do
> new_index = new_index - 1
> if new_index < 1 then return end
> if is_link(state.lines[new_index]) then break end
> end
> state.highlight_index = new_index
>end
- __teliva_timestamp: original
update:
>function update(window)
> local key = curses.getch()
> local screen_rows, screen_cols = window:getmaxyx()
> if key == curses.KEY_DOWN then
> next_link()
> elseif key == curses.KEY_UP then
> previous_link()
> elseif key == curses.KEY_LEFT then
> if #state.history > 1 then
> table.remove(state.history)
> gemini_get(table.remove(state.history))
> end
> elseif key == 21 then -- ctrl-u
> state.source = not state.source
> elseif key == 10 then -- enter
> local s, e, new_url = string.find(state.lines[state.highlight_index], '=>%s*(%S*)')
> gemini_get(url.absolute(state.url, new_url))
> elseif key == 7 then -- ctrl-g
> window:mvaddstr(screen_rows-2, 0, '')
> window:clrtoeol()
> window:mvaddstr(screen_rows-1, 0, '')
> window:clrtoeol()
> window:mvaddstr(screen_rows-1, 5, 'go: ')
> curses.curs_set(2)
> local old_menu = menu
> local new_url = edit_line(window)
> menu = old_menu
> if new_url then
> state.url = new_url
> gemini_get(new_url)
> end
> curses.curs_set(0)
> end
>end
- __teliva_timestamp: original
init_colors:
>function init_colors()
> for i=0,7 do
> curses.init_pair(i, i, 8)
> end
> curses.init_pair(8, 7, 0)
> curses.init_pair(9, 7, 1)
> curses.init_pair(10, 7, 2)
> curses.init_pair(11, 7, 3)
> curses.init_pair(12, 7, 4)
> curses.init_pair(13, 7, 5)
> curses.init_pair(14, 7, 6)
> curses.init_pair(15, 8, 15)
>end
- __teliva_timestamp: original
main:
>function main()
> init_colors()
> local lines = {}
> local url = ''
> if #arg > 0 then
> state.url = arg[1]
> lines = gemini_get(state.url)
> end
> while true do
> render(window, lines)
> update(window, lines)
> end
>end
- __teliva_timestamp: original
http_get:
>function http_get(url)
> -- https://stackoverflow.com/questions/42445423/luasocket-serveraccept-timeout-tcp
> local parsed_url = socket.url.parse(url)
> local tcp = socket.tcp()
> tcp:connect(parsed_url.host, 80)
> tcp:send('GET / HTTP/1.1\r\n')
> -- http requires the Host header
> tcp:send(string.format('Host: %s\r\n', parsed_url.host))
> tcp:send('\r\n')
> -- tcp:receive('*a') doesn't seem to detect when a request is done
> -- so we have to manage the size of the expected response
> headers = {}
> while true do
> local s, status = tcp:receive()
> if s == nil then break end
> if s == '' then break end
> local header, value = string.match(s, '(.-): (.*)')
> if header == nil then
> print(s)
> else
> headers[string.lower(header)] = value
> print(header, value)
> end
> end
> local bytes_remaining = tonumber(headers['content-length'])
> body = ''
> while true do
> local s, status = tcp:receive(bytes_remaining)
> if s == nil then break end
> body = body .. s
> bytes_remaining = bytes_remaining - string.len(s)
> if bytes_remaining <= 0 then break end
> end
> return body
>end
- __teliva_timestamp: original
https_get:
>-- http://notebook.kulchenko.com/programming/https-ssl-calls-with-lua-and-luasec
>function https_get(url)
> local parsed_url = socket.url.parse(url)
> local params = {
> mode = 'client',
> protocol = 'any',
> verify = 'none', -- I don't know what I'm doing
> options = 'all',
> }
> local conn = socket.tcp()
> conn:connect(parsed_url.host, parsed_url.port or 443)
> conn, err = ssl.wrap(conn, params)
> if conn == nil then
> io.write(err)
> os.exit(1)
> end
> conn:dohandshake()
>
> conn:send(url .. "\r\n")
> local line, err = conn:receive()
> return line or err
>end
- __teliva_timestamp: original
parse_gemini_body:
>function parse_gemini_body(conn, type)
> if type == 'text/gemini' then
> while true do
> local line, err = conn:receive()
> if line == nil then break end
> table.insert(state.lines, line)
> end
> elseif string.sub(type, 1, 5) == 'text/' then
> while true do
> local line, err = conn:receive()
> if line == nil then break end
> table.insert(state.lines, line)
> end
> end
>end
- __teliva_timestamp: original
gemini_get:
>-- http://notebook.kulchenko.com/programming/https-ssl-calls-with-lua-and-luasec
>-- https://tildegit.org/solderpunk/gemini-demo-2
>-- returns an array of lines, containing either the body or just an error
>function gemini_get(url)
> if string.find(url, "://") == nil then
> url = "gemini://" .. url
> end
> local parsed_url = socket.url.parse(url)
> local params = {
> mode = 'client',
> protocol = 'any',
> verify = 'none', -- I don't know what I'm doing
> options = 'all',
> }
> local conn = socket.tcp()
> local conn2, err = conn:connect(parsed_url.host, parsed_url.port or 1965)
> clear(state.lines)
> state.highlight_index = 0 -- highlighted link not computed yet
> if conn2 == nil then
> table.insert(state.lines, err)
> return
> end
> conn, err = ssl.wrap(conn, params)
> if conn == nil then
> table.insert(state.lines, err)
> return
> end
> conn:dohandshake()
> conn:send(url .. "\r\n")
> local line, err = conn:receive()
> if line == nil then
> table.insert(state.lines, err)
> return
> end
> local status, meta = string.match(line, "(%S+) (%S+)")
> if status[1] == '2' then
> parse_gemini_body(conn, meta)
> state.url = url
> table.insert(state.history, url)
> elseif status[1] == '3' then
> gemini_get(socket.url.absolute(url, meta))
> elseif status[1] == '4' or line[1] == '5' then
> table.insert(state.lines, 'Error: '..meta)
> else
> table.insert(state.lines, 'invalid response from server: '..line)
> end
>end
|