41bf615f43
In each session, Teliva has to bootstrap a trusted channel with the computer owner while running arbitrarily untrusted code. So let's get really, really precise about what the trusted channel consists of: - the bottom-most row of screen containing the menu - the keystrokes the owner types in - ncurses COLOR_PAIR slots 254 (menu) and 255 (error) One reason the menu colors are important: we don't want people to get used to apps that hide the menu colors by setting default foreground/background to invisible and then drawing their own menu one row up. The error COLOR_PAIR I don't see any reason to carve out right now, but it seems like a good idea for Teliva the framework to not get into the habit of apps doing some things for it. I'm not sure how realistic all this is (I feel quite ill-equipped to think about security), but it seems worthwhile to err on the side of paranoia. Teliva will be paranoid so people don't have to be.
123 lines
3.8 KiB
Lua
123 lines
3.8 KiB
Lua
# .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
|
|
render:
|
|
>function render(window)
|
|
> window:clear()
|
|
> local lines, cols = window:getmaxyx()
|
|
> local line = math.floor(lines/2)
|
|
> local col = math.floor(cols/4)
|
|
> for i,t in ipairs(tower) do
|
|
> render_tower(window, line, i*col, i, t)
|
|
> end
|
|
> curses.refresh()
|
|
>end
|
|
- __teliva_timestamp: original
|
|
lines:
|
|
>function lines(window)
|
|
> local lines, cols = window:getmaxyx()
|
|
> return lines
|
|
>end
|
|
- __teliva_timestamp: original
|
|
pop:
|
|
>function pop(array)
|
|
> return table.remove(array)
|
|
>end
|
|
- __teliva_timestamp: original
|
|
window:
|
|
>window = curses.stdscr()
|
|
- __teliva_timestamp: original
|
|
render_tower:
|
|
>function render_tower(window, line, col, tower_index, tower)
|
|
> window:attron(curses.A_BOLD)
|
|
> window:mvaddch(line+2, col, string.char(96+tower_index))
|
|
> window:attroff(curses.A_BOLD)
|
|
> window:attron(curses.color_pair(15))
|
|
> window:mvaddstr(line+1, col-6, " ")
|
|
> window:attroff(curses.color_pair(15))
|
|
> for i, n in ipairs(tower) do
|
|
> render_disk(window, line, col, n)
|
|
> line = line - 1
|
|
> end
|
|
> for i=1,5-len(tower)+1 do
|
|
> window:attron(curses.color_pair(15))
|
|
> window:mvaddstr(line, col, " ")
|
|
> window:attroff(curses.color_pair(15))
|
|
> line = line - 1
|
|
> end
|
|
>end
|
|
- __teliva_timestamp: original
|
|
tower:
|
|
>tower = {{6, 5, 4, 3, 2}, {}, {}}
|
|
- __teliva_timestamp: original
|
|
render_disk:
|
|
>function render_disk(window, line, col, size)
|
|
> col = col-size+1
|
|
> for i=1,size do
|
|
> window:attron(curses.color_pair(size))
|
|
> window:mvaddstr(line, col, " ")
|
|
> window:attroff(curses.color_pair(size))
|
|
> col = col+2
|
|
> end
|
|
>end
|
|
- __teliva_timestamp: original
|
|
main:
|
|
>function main()
|
|
> curses.assume_default_colors(238, 139)
|
|
> for i=1,7 do
|
|
> curses.init_pair(i, 0, i)
|
|
> end
|
|
> curses.init_pair(15, 0, 250) -- tower frames
|
|
>
|
|
> while true do
|
|
> render(window)
|
|
> update(window)
|
|
> end
|
|
>end
|
|
- __teliva_timestamp: original
|
|
len:
|
|
>function len(array)
|
|
> local result = 0
|
|
> for k in pairs(array) do
|
|
> result = result+1
|
|
> end
|
|
> return result
|
|
>end
|
|
- __teliva_timestamp: original
|
|
update:
|
|
>function update(window)
|
|
> window:mvaddstr(lines(window)-2, 5, "tower to remove top disk from? ")
|
|
> local from = curses.getch() - 96
|
|
> window:mvaddstr(lines(window)-1, 5, "tower to stack it on? ")
|
|
> local to = curses.getch() - 96
|
|
> make_move(from, to)
|
|
>end
|
|
- __teliva_timestamp: original
|
|
make_move:
|
|
>function make_move(from, to)
|
|
> local disk = pop(tower[from])
|
|
> table.insert(tower[to], disk)
|
|
>end
|
|
- __teliva_timestamp: original
|
|
cols:
|
|
>function cols(window)
|
|
> local lines, cols = window:getmaxyx()
|
|
> return cols
|
|
>end
|