sebastiano.tronto.net

commit 4effc3f74539226a183d158f89f15f726949ecec
parent bc533773d1f99371894a3c6e4e7870f73712ec9b
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date:   Mon,  5 Sep 2022 22:23:08 +0200

Fixed title

Diffstat:
M
src/blog/2022-09-05-man-col/man-col.md
 | 
2
+-
M
src/blog/blog.md
 | 
2
+-
M
src/blog/feed.xml
 | 
4
++--

3 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/blog/2022-09-05-man-col/man-col.md b/src/blog/2022-09-05-man-col/man-col.md
@@ -1,4 +1,4 @@
-# Pipe man into col -b to get rid of ^H
+# Pipe man into col -b to get rid of \^H
 
 The man page reading club is returning soon. In the meantime,
 here is a short post on a trick related to `man` itself that I skipped in the
diff --git a/src/blog/blog.md b/src/blog/blog.md
@@ -2,7 +2,7 @@
 
 [RSS Feed](feed.xml)
 
-* 2022-09-05 [Pipe man into col -b to get rid of ^H](2022-09-05-man-col)
+* 2022-09-05 [Pipe man into col -b to get rid of \^H](2022-09-05-man-col)
 * 2022-08-14 [How I update my website](2022-08-14-website)
 * 2022-07-07 [The man page reading club: shutdown(8)](2022-07-07-shutdown)
 * 2022-06-12 [The UNIX shell as an IDE: look stuff up with sed](2022-06-12-shell-ide-sed)
diff --git a/src/blog/feed.xml b/src/blog/feed.xml
@@ -9,9 +9,9 @@ Thoughts about software, computers and whatever I feel like sharing
 </description>
 
 <item>
-<title>Pipe man into col -b to get rid of ^H</title>
+<title>Pipe man into col -b to get rid of \^H</title>
 <link>https://sebastiano.tronto.net/blog/2022-09-05-man-col</link>
-<description>Pipe man into col -b to get rid of ^H</description>
+<description>Pipe man into col -b to get rid of \^H</description>
 <pubDate>2022-09-05</pubDate>
 </item>