annotate src/edit_course.html.luan @ 32:d34d709a7a8e

region
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 03 Aug 2025 18:43:17 -0600
parents 176a182c02cf
children 1d9d9786d76f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 local Luan = require "luan:Luan.luan"
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 local error = Luan.error
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3 local Html = require "luan:Html.luan"
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 local html_encode = Html.encode or error()
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5 local Io = require "luan:Io.luan"
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 local Http = require "luan:http/Http.luan"
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 local Shared = require "site:/lib/Shared.luan"
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8 local head = Shared.head or error()
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 local header = Shared.header or error()
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10 local User = require "site:/lib/User.luan"
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 local current_user = User.current_required or error()
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 local Course = require "site:/lib/Course.luan"
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 local get_course_by_id = Course.get_by_id or error()
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16 return function()
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 local user = current_user()
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 if user == nil then return end
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 local course_id = Http.request.parameters.course
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 local course
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21 if course_id ~= nil then
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 course = get_course_by_id(course_id) or error()
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 course.user_id == user.id or error()
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 else
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 course = Course.new{
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 language = Http.request.parameters.language or error()
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 name = ""
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28 ai_system_prompt = ""
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 }
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30 end
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 Io.stdout = Http.response.text_writer()
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
32 %>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
33 <!doctype html>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 <html lang="en">
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
35 <head>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36 <% head() %>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 <style>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
38 input,
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
39 textarea {
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40 display: block;
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
41 }
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
42 input[type=text],
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
43 textarea {
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
44 width: 100%;
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
45 }
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
46 h4 {
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
47 margin-top: 22px;
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
48 margin-bottom: 4px;
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
49 }
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
50 input[type=submit] {
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
51 margin-top: 22px;
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
52 margin-bottom: 22px;
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
53 }
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
54 </style>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
55 </head>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
56 <body>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
57 <% header() %>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
58 <form content onsubmit="ajaxForm('/save_course.js',this)" action="javascript:">
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
59 <input type=hidden name=language value="<%=course.language%>">
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
60 <% if course_id ~= nil then %>
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
61 <input type=hidden name=course value="<%=course_id%>">
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
62 <% end %>
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
63 <h1>Edit Course</h1>
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
64 <h3><%= course.language_name() %></h3>
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
65
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
66 <h4>Course name</h4>
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
67 <input type=text required name=name value="<%=html_encode(course.name)%>">
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
68
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
69 <h4>AI system prompt</h4>
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
70 <textarea required name=ai_system_prompt rows=10><%=html_encode(course.ai_system_prompt)%></textarea>
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
71
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
72 <h4>AI first message (optional)</h4>
32
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
73 <textarea name=ai_first_message><%=html_encode(course.ai_first_message or "")%></textarea>
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
74
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
75 <input type=submit>
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
76
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
77 <hr>
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
78
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
79 <p>Text areas take <a href="/tools/markdown.html">Markdown</a>. AI generally recognizes Markdown.</p>
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
80 </form>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
81 </body>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
82 </html>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
83 <%
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
84 end