annotate src/private/tools/config.html.luan @ 3:2c63b10781e1

add login
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 24 Oct 2024 21:43:44 -0600
parents b116b6ef07bf
children 979a9ee73ea4
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 local stringify = Luan.stringify or error()
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local Io = require "luan:Io.luan"
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local Http = require "luan:http/Http.luan"
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 local Shared = require "site:/lib/Shared.luan"
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 local head = Shared.head or error()
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 local header = Shared.private_header or error()
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 local config = Shared.config or error()
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 return function()
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 Io.stdout = Http.response.text_writer()
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 %>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 <!doctype html>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16 <html>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 <head>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 <% head() %>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 <style>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 textarea {
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21 width: 90%;
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 height: 20em;
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 }
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 </style>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 </head>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 <body>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 <% header() %>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28 <div content>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 <h1>Configure</h1>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30 <form method=post action="save_config.txt">
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 <p>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 <textarea name=config autofocus><%= stringify(config) %></textarea>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
33 </p>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 <p>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 <input type=submit value="Update">
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36 </p>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 </form>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
38 </div>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
39 </body>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40 </html>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41 <%
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42 end