]> git.ekhem.eu.org Git - gym.git/commitdiff
Add title.
authorJakub Czajka <jczajka@google.com>
Sat, 23 Dec 2023 22:19:56 +0000 (23:19 +0100)
committerJakub Czajka <jakub@ekhem.eu.org>
Sun, 31 Dec 2023 11:01:03 +0000 (12:01 +0100)
gym.sh
insert.sh
record.sh

diff --git a/gym.sh b/gym.sh
index dd4b03393a4edb2e47ce0847c60252607a4255ab..118c6193f77ccdabeac7a63355a60992afa61ff8 100755 (executable)
--- a/gym.sh
+++ b/gym.sh
@@ -17,6 +17,7 @@ PAGE="
 <meta name='viewport' content='width=device-width'>
 <link rel='stylesheet' href='gym.css'>
 <head>
+  <title>Gym</title>
   <style>
     label {
       column-gap: 5px;
index 10835661af541c7e73e0824827d59538e02d2946..626c234693ee1c9b909b351a1836491f3e692f14 100755 (executable)
--- a/insert.sh
+++ b/insert.sh
@@ -24,11 +24,14 @@ echo "
 <!DOCTYPE html>
 <html>
 <meta name='viewport' content='width=device-width'>
+<head>
+  <title>Gym</title>
   <style>
     body {
       white-space: pre-wrap;
     }
   </style>
+</head>
 <body>"
 
 case ${RECORD_TYPE} in
index e92e2f2479c6c0cd32fd54879fcfb098253a21a2..0f520a982e2a775aa33904f5801e011b0a1e87d8 100755 (executable)
--- a/record.sh
+++ b/record.sh
@@ -54,6 +54,7 @@ PAGE="
 <meta name='viewport' content='width=device-width'>
 <link rel='stylesheet' href='gym.css'>
 <head>
+  <title>Gym</title>
   <script>
     window.onbeforeunload = function (event) {
       event.preventDefault();