annotate src/private/tools/config.html.luan @ 88:7b339b1ccd11

add tools/users.html
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 13 Mar 2025 16:18:39 -0600
parents e229f4aacde0
children
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>
69
e229f4aacde0 config in lucene
Franklin Schmidt <fschmidt@gmail.com>
parents: 50
diff changeset
37 <textarea name=config autofocus><%= stringify(config).."\n" %></textarea>
1
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