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.
61 lines
1.8 KiB
Lua
61 lines
1.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
|
|
window:
|
|
>window = curses.stdscr()
|
|
- __teliva_timestamp: original
|
|
n:
|
|
>n = 0
|
|
- __teliva_timestamp: original
|
|
render:
|
|
>function render(window)
|
|
> window:clear()
|
|
> window:attron(curses.A_BOLD)
|
|
> window:attron(curses.color_pair(6))
|
|
> window:mvaddstr(10, 10, " ")
|
|
> window:mvaddstr(10, 11, n)
|
|
> window:attroff(curses.color_pair(6))
|
|
> window:attroff(curses.A_BOLD)
|
|
> curses.refresh()
|
|
>end
|
|
__teliva_note: foo
|
|
- __teliva_timestamp: original
|
|
menu:
|
|
>menu = {Enter="increment"}
|
|
- __teliva_timestamp: original
|
|
update:
|
|
>function update(window)
|
|
> local key = curses.getch()
|
|
> if key == 10 then
|
|
> n = n+1
|
|
> end
|
|
>end
|
|
- __teliva_timestamp: original
|
|
main:
|
|
>function main()
|
|
> for i=1,7 do
|
|
> curses.init_pair(i, 0, i)
|
|
> end
|
|
>
|
|
> while true do
|
|
> render(window)
|
|
> update(window)
|
|
> end
|
|
>end
|