I suspect that this is a quirk of the editline library. -- Raul
On Tue, Jul 27, 2021 at 2:18 PM 'Rudolf Sykora' via Programming <[email protected]> wrote: > > Dear list, > > > what is the reason that the 'space' character is coded as '\' '0' '4' > '0' in the .jhistory file? > > (I know that \040 is the octal code for a space, but in .jhistory there > really are 4 characters '\', '0', '4', '0' instead of just single > 'space' character). > > This makes the file less readable / directly reusable, at least for me. > (E.g. cat or awk on .jhistory needs some more dance.) > > > Thanks for comments. > Ruda > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
