Paul Hardy <unifoun...@gmail.com> writes: > Alternatively, if convenient, you could convert the non-breaking space > characters to a plain space in that text file in a script. That will > avoid the problem until you need some other non-ASCII character in the > file other than non-breaking space. You could convert all of those > non-breaking space characters to ordinary spaces in one fell swoop with:
> sed -i 's/\o302\o240/ /g' upgrading-checklist.txt If this file doesn't already contain UTF-8 characters that can't be trivially replaced, it almost certainly will in the future, so I'm fine with it containing the non-breaking spaces to force the matter (even if in general they're a little irritating). The file will definitely be UTF-8, so I think we should try to get this right. -- Russ Allbery (r...@debian.org) <http://www.eyrie.org/~eagle/>
