Mercurial Hosting > chat

annotate src/private/tools/save_config.txt.luan @ 67:e4e331539146

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
minor
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 06 Mar 2025 12:13:31 -0700
parents b116b6ef07bf
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 parse = Luan.parse or error()
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local stringify = Luan.stringify or error()
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local Io = require "luan:Io.luan"
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 local uri = Io.uri or error()
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 local Http = require "luan:http/Http.luan"
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 local Shared = require "site:/lib/Shared.luan"
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 local config_file = Shared.config_file 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 local config = Http.request.parameters.config or error()
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 config = parse(config)
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 uri("site:/private/local/").mkdir()
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16 config_file.write_text(stringify(config).."\n")
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 Http.reset_luan()
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 Io.stdout = Http.response.text_writer()
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 %>saved<%
b116b6ef07bf add config
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 end