annotate src/private/tools/config.html.luan @ 67:e4e331539146

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 06 Mar 2025 12:13:31 -0700
parents 979a9ee73ea4
children e229f4aacde0
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>
50
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
20 [content] {
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
21 max-width: 90%;
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
22 width: 700px;
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
23 padding: 0;
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
24 }
1
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 textarea {
50
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
26 width: 100%;
1
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 height: 20em;
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28 }
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 </style>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30 </head>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 <body>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 <% header() %>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
33 <div content>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 <h1>Configure</h1>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 <form method=post action="save_config.txt">
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 <textarea name=config autofocus><%= stringify(config) %></textarea>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
38 </p>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
39 <p>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40 <input type=submit value="Update">
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41 </p>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42 </form>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
43 </div>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
44 </body>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
45 </html>
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
46 <%
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
47 end