wkh/rdb
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Hinweis zu select (README, row.man); Backslash in rdb man korrigiert

Browse Source
This commit is contained in:
wkh
2026-10-11 22:35:37 +02:00
parent d2c4343136
commit 6c0d675c5d
4 changed files with 39 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
lib/rdb/cmd/term.rb
+3 -2
View File
@@ -81,9 +81,10 @@ end
# ---- manual pages ---------------------------------------------------------------
def troff_clean(str)
str.gsub(/\\f[BIRP]/, '').gsub('\\e', '\\').gsub('\\(em', ' -- ').gsub('\\(aa', "'")
# a literal backslash (\\ or \e) is parked in \0 so that later rules cannot see it
str.gsub('\\\\', "\0").gsub(/\\f[BIRP]/, '').gsub('\\e', "\0").gsub('\\(em', ' -- ').gsub('\\(aa', "'")
.gsub('\\-', '-').gsub('\\&', '').gsub('\\*(UX', 'UNIX').gsub('``', '"').gsub("''", '"').gsub('\\ ', ' ')
.gsub(/\\\(..|\\\*\(..|\\[a-z]/, '').gsub('\\\\', '\\')
.gsub(/\\\(..|\\\*\(..|\\[a-z]/, '').gsub("\0", '\\')
end
def render_man(src)