dotfiles

commit e9f4ebd98b32575e418ee9bfc3c0ebaba5b30383
parent 431d84818e20101c8c8f1f34bea8efd7970e1aba
Author: Matsuda Kenji <contact2655@matsudakenji.xyz>
Date:   Thu, 28 Jul 2022 14:28:35 +0900

h1 titles can contain html tags

Diffstat:
M
bin/kagero
 | 
3
++-

1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/bin/kagero b/bin/kagero
@@ -1,6 +1,7 @@
 #!/bin/sh -e
 #TODO: stat(1) is not in POSIX: 7/14 removed stat(1) but not yet tested well.
 #      pathnames should not contain white spaces
+#BUG:  non html files are not copied after changed its directory.
 
 man=$(pwd)/man
 pub=$(pwd)/pub
@@ -42,7 +43,7 @@ list_files_to_replace(){
 }
 
 render_html(){
-	title=$(grep '<h1>' "$man/$1" | sed -E 's/<\/?h1>//g')
+	title=$(grep '<h1>' "$man/$1" | sed -E 's/<\/?h1>//g' | sed 's;/;\\/;g')
 	cat "$header" "$man/$1" "$footer" |
 		sed 's/<!--title-->/'"$title"'/'
 }