annotate src/view_course.html.luan @ 47:3cd6f36c81d4

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Fri, 15 Aug 2025 08:00:22 +0900
parents 176a182c02cf
children a119fc092f42
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 Course = require "site:/lib/Course.luan"
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 local get_course_by_id = Course.get_by_id or error()
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 return function()
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 local course_id = Http.request.parameters.course
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
16 local course = get_course_by_id(course_id) or error()
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 Io.stdout = Http.response.text_writer()
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 %>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 <!doctype html>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 <html lang="en">
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21 <head>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 <% head() %>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 <style>
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
24 h4 {
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
25 margin-top: 22px;
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
26 margin-bottom: 4px;
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
27 }
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28 </style>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
29 </head>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
30 <body>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
31 <% header() %>
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
32 <div content>
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
33 <input type=hidden name=language value="<%=course.language%>">
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
34 <% if course_id ~= nil then %>
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
35 <input type=hidden name=course value="<%=course_id%>">
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
36 <% end %>
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
37 <h1>View Course</h1>
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
38
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
39 <h2><%= course.name_html() %></h2>
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
40
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
41 <h3><%= course.language_name() %></h3>
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
42
47
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
43 <p><a href="new_chat.red?course=<%=course.id%>">new chat</a></p>
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
44
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
45 <h4>AI system prompt</h4>
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
46 <pre><%=html_encode(course.ai_system_prompt)%></pre>
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
47
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
48 <h4>AI first message (optional)</h4>
47
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
49 <pre><%=html_encode(course.ai_first_message)%></pre>
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
50
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
51 <h4>Text to speech instructions</h4>
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
52 <pre><%=html_encode(course.tts_instructions)%></pre>
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
53
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
54 </div>
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
55 </body>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
56 </html>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
57 <%
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
58 end