On Tue, Oct 18, 2022 at 12:35:53PM +0200, Jakub Wilk wrote: > * Colin Watson <cjwat...@debian.org>, 2022-10-18 00:12: > > https://gitlab.com/cjwatson/man-db/-/commit/09304c00a4a3dea95da5d1f0aa1ad4c20c292f3b > > Unfortunately this isn't quite right. > > The fix broke prompts for man pages that had special characters in their > titles. For example, for apt.conf.5 the prompt looks like this: > > Manual page aptconf(5) line 1 ... [...] > All in all, I think --use-backslash is not worth the trouble. Maybe just > replace dollars with something harmless (say, question marks)? I doubt there > are any non-nefarious use cases for dollars man page titles.
OK, I see your point. Done: https://gitlab.com/cjwatson/man-db/-/commit/0d80ec4d5c987acb502a7787240f56e3cec65497 (Sorry for the delay; I've been travelling.) -- Colin Watson (he/him) [cjwat...@debian.org]
