annotate src/view_course.html.luan @ 71:44bec62c49e2 default tip

split ask
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 24 Aug 2025 08:32:08 -0600
parents f5e72f2d1025
children
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()
53
6c78fd83518f add delete course
Franklin Schmidt <fschmidt@gmail.com>
parents: 52
diff changeset
10 local started = Shared.started or error()
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 local Course = require "site:/lib/Course.luan"
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12 local get_course_by_id = Course.get_by_id or error()
50
Franklin Schmidt <fschmidt@gmail.com>
parents: 48
diff changeset
13 local User = require "site:/lib/User.luan"
Franklin Schmidt <fschmidt@gmail.com>
parents: 48
diff changeset
14 local current_user = User.current or error()
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 return function()
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 local course_id = Http.request.parameters.course
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
19 local course = get_course_by_id(course_id) or error()
50
Franklin Schmidt <fschmidt@gmail.com>
parents: 48
diff changeset
20 local user = current_user()
Franklin Schmidt <fschmidt@gmail.com>
parents: 48
diff changeset
21 local is_owner = user ~= nil and user.id == course.user_id
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 Io.stdout = Http.response.text_writer()
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 %>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 <!doctype html>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 <html lang="en">
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 <head>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 <% head() %>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
28 <style>
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
29 h4 {
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
30 margin-top: 22px;
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
31 margin-bottom: 4px;
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
32 }
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
33 </style>
53
6c78fd83518f add delete course
Franklin Schmidt <fschmidt@gmail.com>
parents: 52
diff changeset
34 <script src="/course.js?s=<%=started%>"></script>
24
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 <body>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
37 <% header() %>
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
38 <div content>
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
39 <input type=hidden name=language value="<%=course.language%>">
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
40 <% if course_id ~= nil then %>
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
41 <input type=hidden name=course value="<%=course_id%>">
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
42 <% end %>
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
43 <h1>View Course</h1>
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
44
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
45 <h2><%= course.name_html() %></h2>
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
46
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
47 <h3><%= course.language_name() %></h3>
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
48
50
Franklin Schmidt <fschmidt@gmail.com>
parents: 48
diff changeset
49 <p>
Franklin Schmidt <fschmidt@gmail.com>
parents: 48
diff changeset
50 <a href="new_chat.red?course=<%=course.id%>">New chat</a>
Franklin Schmidt <fschmidt@gmail.com>
parents: 48
diff changeset
51 <% if is_owner then %>
Franklin Schmidt <fschmidt@gmail.com>
parents: 48
diff changeset
52 - <a href="edit_course.html?course=<%=course.id%>">Edit</a>
53
6c78fd83518f add delete course
Franklin Schmidt <fschmidt@gmail.com>
parents: 52
diff changeset
53 - <a href="javascript:deleteCourse()">Delete</a>
50
Franklin Schmidt <fschmidt@gmail.com>
parents: 48
diff changeset
54 <% end %>
Franklin Schmidt <fschmidt@gmail.com>
parents: 48
diff changeset
55 </p>
47
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
56
67
1793510fa36a course description
Franklin Schmidt <fschmidt@gmail.com>
parents: 60
diff changeset
57 <h4>Description</h4>
1793510fa36a course description
Franklin Schmidt <fschmidt@gmail.com>
parents: 60
diff changeset
58 <pre><%=html_encode(course.description)%></pre>
1793510fa36a course description
Franklin Schmidt <fschmidt@gmail.com>
parents: 60
diff changeset
59
1793510fa36a course description
Franklin Schmidt <fschmidt@gmail.com>
parents: 60
diff changeset
60 <br>
1793510fa36a course description
Franklin Schmidt <fschmidt@gmail.com>
parents: 60
diff changeset
61
52
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 50
diff changeset
62 <p><input type=checkbox name=has_ruby <%= course.has_ruby and "checked" or "" %> disabled> Has pronunciation like {japanese|romaji}</p>
27758f3b2d69 add hide_ruby
Franklin Schmidt <fschmidt@gmail.com>
parents: 50
diff changeset
63
60
Franklin Schmidt <fschmidt@gmail.com>
parents: 53
diff changeset
64 <h4>AI system prompt - chat instructions</h4>
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
65 <pre><%=html_encode(course.ai_system_prompt)%></pre>
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
66
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
67 <h4>AI first message (optional)</h4>
47
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
68 <pre><%=html_encode(course.ai_first_message)%></pre>
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
69
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
70 <h4>Text to speech instructions</h4>
Franklin Schmidt <fschmidt@gmail.com>
parents: 27
diff changeset
71 <pre><%=html_encode(course.tts_instructions)%></pre>
25
3a80ddafe5a4 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents: 24
diff changeset
72
69
f5e72f2d1025 add stt_prompt
Franklin Schmidt <fschmidt@gmail.com>
parents: 67
diff changeset
73 <h4>Speech to text prompt</h4>
f5e72f2d1025 add stt_prompt
Franklin Schmidt <fschmidt@gmail.com>
parents: 67
diff changeset
74 <pre><%=html_encode(course.stt_prompt)%></pre>
f5e72f2d1025 add stt_prompt
Franklin Schmidt <fschmidt@gmail.com>
parents: 67
diff changeset
75
27
176a182c02cf add view_course
Franklin Schmidt <fschmidt@gmail.com>
parents: 25
diff changeset
76 </div>
53
6c78fd83518f add delete course
Franklin Schmidt <fschmidt@gmail.com>
parents: 52
diff changeset
77 <dialog delete>
6c78fd83518f add delete course
Franklin Schmidt <fschmidt@gmail.com>
parents: 52
diff changeset
78 <h2>Delete Course</h2>
6c78fd83518f add delete course
Franklin Schmidt <fschmidt@gmail.com>
parents: 52
diff changeset
79 <p>Are you sure that you want to delete this course?</p>
6c78fd83518f add delete course
Franklin Schmidt <fschmidt@gmail.com>
parents: 52
diff changeset
80 <div buttons>
6c78fd83518f add delete course
Franklin Schmidt <fschmidt@gmail.com>
parents: 52
diff changeset
81 <button onclick="closeModal(this)">Cancel</button>
6c78fd83518f add delete course
Franklin Schmidt <fschmidt@gmail.com>
parents: 52
diff changeset
82 <button onclick="doDeleteCourse(this,<%=course_id%>)">Delete</button>
6c78fd83518f add delete course
Franklin Schmidt <fschmidt@gmail.com>
parents: 52
diff changeset
83 </div>
6c78fd83518f add delete course
Franklin Schmidt <fschmidt@gmail.com>
parents: 52
diff changeset
84 </dialog>
24
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
85 </body>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
86 </html>
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
87 <%
87fe70201aa8 courses work
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
88 end