Re: [EXT] Re: Bash 5.1: rl_readline_version = 0x801 (shouldn't it be 0x0801 ?)

2020-12-09 Thread L A Walsh
On 2020/12/08 04:40, Greg Wooledge wrote: On Tue, Dec 08, 2020 at 09:47:05AM +0100, Andreas Schwab wrote: On Dez 07 2020, Testing Purposes wrote: From an integer standpoint, I know that 08 (with one leading zero) is the same as 8. Nope, it is a syntax error. In a bash ma

Re: bash doesn't display user-typed characters; can interfere with COPY/PASTE

2020-12-09 Thread L A Walsh
On 2020/12/08 06:07, Chet Ramey wrote: On 12/7/20 8:02 PM, L A Walsh wrote: The problem is that bash isn't displaying a 'tab' character where one was typed. It's readline and redisplay. Readline expands tabs to spaces using an internal tab stop of 8. This allows it to be sure of

Re: Bash 5.1: rl_readline_version = 0x801 (shouldn't it be 0x0801 ?)

2020-12-09 Thread Testing Purposes
On Tue, Dec 8, 2020 at 8:49 PM Chet Ramey wrote: > On 12/8/20 6:32 PM, Lawrence Velázquez wrote: > > > Such information could just be added to the output of bash --version > > (or perhaps as a shell variable à la BASH_VERSION). There is no > > need for a separate command-line option. > > Why, tho

Re: Bash 5.1: rl_readline_version = 0x801 (shouldn't it be 0x0801 ?)

2020-12-09 Thread Chet Ramey
On 12/9/20 3:55 PM, Testing Purposes wrote: In Appendix A of the official Bash manual, it says that "suggestions and ‘philosophical’ bug reports" are requested — so please bear with me while I get a bit philosophical about the experience that led to this thread. Sure. - MY EXPE