[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bash 5.1: rl_readline_version = 0x801 (shouldn't it be 0x0801 ?)
From: |
Testing Purposes |
Subject: |
Re: Bash 5.1: rl_readline_version = 0x801 (shouldn't it be 0x0801 ?) |
Date: |
Tue, 8 Dec 2020 19:03:00 -0500 |
On Tue, Dec 8, 2020 at 6:33 PM Lawrence Velázquez <vq@larryv.me> wrote:
> > On Dec 8, 2020, at 3:52 PM, Testing Purposes <
> raspberry.teststream@gmail.com> wrote:
> >
> > -----------------------
> > bash --readline-version
> > This instance of GNU Bash is using the GNU Readline library, version 8.1
> > -----------------------
> >
> > That would certainly be a more intuitive and human-friendly method.
>
> 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.
>
> vq
Subconsciously, I must have regarded Bash's version output as almost sacred —
so I honestly didn't even think of that.
But yes, I agree!
That would be the most elegant solution by far!
(And, I assume, fairly easy to implement.)
- Re: Bash 5.1: rl_readline_version = 0x801 (shouldn't it be 0x0801 ?), (continued)
- Re: Bash 5.1: rl_readline_version = 0x801 (shouldn't it be 0x0801 ?), Andreas Schwab, 2020/12/08
- Re: [EXT] Re: Bash 5.1: rl_readline_version = 0x801 (shouldn't it be 0x0801 ?), Greg Wooledge, 2020/12/08
- Re: [EXT] Re: Bash 5.1: rl_readline_version = 0x801 (shouldn't it be 0x0801 ?), Andreas Schwab, 2020/12/08
- Re: [EXT] Re: Bash 5.1: rl_readline_version = 0x801 (shouldn't it be 0x0801 ?), L A Walsh, 2020/12/09
- Re: Bash 5.1: rl_readline_version = 0x801 (shouldn't it be 0x0801 ?), Testing Purposes, 2020/12/08
- Re: Bash 5.1: rl_readline_version = 0x801 (shouldn't it be 0x0801 ?), Lawrence Velázquez, 2020/12/08
- Re: Bash 5.1: rl_readline_version = 0x801 (shouldn't it be 0x0801 ?),
Testing Purposes <=
- Re: Bash 5.1: rl_readline_version = 0x801 (shouldn't it be 0x0801 ?), Chet Ramey, 2020/12/08
- Re: Bash 5.1: rl_readline_version = 0x801 (shouldn't it be 0x0801 ?), Testing Purposes, 2020/12/09
- Re: Bash 5.1: rl_readline_version = 0x801 (shouldn't it be 0x0801 ?), Chet Ramey, 2020/12/09